Complexity of Propositional Proofs Under a Promise

Dershowitz N



Název
Complexity of Propositional Proofs Under a Promise
Autor
lupa Dershowitz N.
Spoluautoři
lupa Tzameret Iddo MU-W - Matematický ústav AV ČR, v. v. i.
Zdroj.dok.
lupa ACM Transactions on Computational Logic. Roč. 11, č. 3 (2010), s. 1-29
Vyd.údaje
29 s.
Druh dok.
J
Jazyk dok.
eng
Země vyd.
US
Klíč.slova
theory * promise problems * propositional proof complexity * random 3CNF * resolution
URL
http://dl.acm.org/citation.cfm?doid=1740582.1740586
Databáze
zj - Článek v odborném časopise
URL
http://dl.acm.org/citation.cfm?doid=1740582.1740586
Trvalý link
http://hdl.handle.net/11104/0186297