An exponential separation between regular and general resolution

Michael Alekhnovich, Jan Johannsen, Toniann Pitassi, Alasdair Urquhart. An exponential separation between regular and general resolution. In STOC. pages 448-456, 2002. [doi]

Abstract

Abstract is missing.