The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi-algebraic Proofs

DOI10.1007/978-3-642-39071-5_1zbMath1390.03016OpenAlexW9863921MaRDI QIDQ5326450

Albert Atserias

Publication date: 5 August 2013

Published in: Theory and Applications of Satisfiability Testing – SAT 2013 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39071-5_1

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Mechanization of proofs and logical operations (03B35) Complexity of proofs (03F20)

This page was built for publication: The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi-algebraic Proofs