Complexity of Propositional Proofs Under a Promise

0343940 - MÚ 2011 RIV US eng J - Článek v odborném periodiku
Dershowitz, N. - Tzameret, Iddo
Complexity of Propositional Proofs Under a Promise.
ACM Transactions on Computational Logic. Roč. 11, č. 3 (2010), s. 1-29. ISSN 1529-3785. E-ISSN 1557-945X
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: theory * promise problems * propositional proof complexity * random 3CNF * resolution
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.391, rok: 2010
http://dl.acm.org/citation.cfm?doid=1740582.1740586
Trvalý link: http://hdl.handle.net/11104/0186297