Bounded-Depth Frege Systems with Counting Axioms Polynomially Simulate Nullstellensatz Refutations.

Russell Impagliazzo, Nathan Segerlind

Browse the full ICALP paper archive.