Linear and Negative Resolution are Weaker than Resolution

Josh Buresh-Oppenheim, David G. Mitchell, Toniann Pitassi. Linear and Negative Resolution are Weaker than Resolution. Electronic Colloquium on Computational Complexity (ECCC), 8(074), 2001. [doi]

Abstract

Abstract is missing.