Theory of Computing ------------------- Title : An Exponential Separation between Regular and General Resolution Authors : Michael Alekhnovich, Jan Johannsen, Toniann Pitassi, and Alasdair Urquhart Volume : 3 Number : 5 Pages : 81-102 URL : https://theoryofcomputing.org/articles/v003a005 Abstract -------- This paper gives two distinct proofs of an exponential separation between regular resolution and unrestricted resolution. The previous best known separation between these systems was quasi-polynomial.