On the complexity of circuit satisfiability

Paturi R



Název
On the complexity of circuit satisfiability
Autor
lupa Paturi R.
Spoluautoři
lupa Pudlák Pavel MU-W - Matematický ústav AV ČR, v. v. i.
Zdroj.dok.
lupa STOC'10 : Proceedings of the 2010 ACM International Symposium on Theory of Computing. S. 241-249. - New York : Association for Computing Machinery, 2010
Vyd.údaje
9 s.
Druh dok.
C
Jazyk dok.
eng
Země vyd.
US
Klíč.slova
Circuit satisfiability * NP-completeness
URL
http://dl.acm.org/citation.cfm?doid=1806689.1806724
Databáze
zc - Konferenční příspěvek (zahraniční konference)
URL
http://dl.acm.org/citation.cfm?doid=1806689.1806724
Trvalý link
http://hdl.handle.net/11104/0190940