Prefer a chat interface with context about you and your work?
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.