Sciweavers

STOC
2002
ACM
101views Algorithms» more  STOC 2002»
14 years 11 months ago
An exponential separation between regular and general resolution
: This paper gives two distinct proofs of an exponential separation between regular resolution and unrestricted resolution. The previous best known separation between these systems...
Michael Alekhnovich, Jan Johannsen, Toniann Pitass...