Exponential separations between restricted resolution and cutting planes proof systems

DOI10.1109/SFCS.1998.743514MaRDI QIDQ6909453zbMATH OpenFDO

Authors Maria Luisa Bonet, Jan Johannsen, Juan Luis Esteban, Nicola Galesi

Publication date 29 October 2025

Full work available at URL http://hdl.handle.net/11573/205918

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cited in

(3)

• The relative strength of \#SAT proof systems
• The use of backdoors to estimate the hardness of propositional proofs and cryptographic attacks
• The relative strength of \#SAT proof systems

This page was built for publication: Exponential separations between restricted resolution and cutting planes proof systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6909453)