An Exponential Separation between Regular and General Resolution

Download PDF
Open Webpage

Michael Alekhnovich, Jan Johannsen, Toniann Pitassi, Alasdair Urquhart

Published: 2007, Last Modified: 15 May 2025Theory Comput. 2007EveryoneRevisionsBibTeXCC BY-SA 4.0