Number of the records: 1
Complexity of Propositional Proofs Under a Promise
- 1.0343940 - MÚ 2011 RIV US eng J - Journal Article
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
Institutional research plan: CEZ:AV0Z10190503
Keywords : theory * promise problems * propositional proof complexity * random 3CNF * resolution
Subject RIV: BA - General Mathematics
Impact factor: 1.391, year: 2010
http://dl.acm.org/citation.cfm?doid=1740582.1740586
Permanent Link: http://hdl.handle.net/11104/0186297File Download Size Commentary Version Access Tzameret1.pdf 1 248.6 KB Publisher’s postprint require
Number of the records: 1