An exponential separation between regular and general resolution

Two distinct proofs of an exponential separation between regular resolution and unrestricted resolution are given. The previous best known separation between these systems was quasi-polynomial.

Authors

• Michael Alekhnovich
• Jan Johannsen
• Toniann Pitassi
• Alasdair Urquhart

Keywords

No keywords are indexed for this paper.