REPORTS > DETAIL:
Paper:
TR01-056 | 6th August 2001 00:00
An Exponential Separation between Regular and General Resolution
TR01-056 Authors: Michael Alekhnovich, Jan Johannsen, Alasdair Urquhart
Publication: 8th August 2001 12:16
Downloads: 136
Keywords:
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.