Login / Signup
Constant-depth Frege systems with counting axioms polynomially simulate Nullstellensatz refutations.
Russell Impagliazzo
Nathan Segerlind
Published in:
ACM Trans. Comput. Log. (2006)
Keyphrases
</>
distributed systems
building blocks
real time
data sets
retrieval systems
databases
information systems
case study
management system
computer systems