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

R. Impagliazzo,Nathan Segerlind
DOI: https://doi.org/10.1007/3-540-45465-9_19
2002-07-08
Abstract:
What problem does this paper attempt to address?