Login / Signup
Constant-Depth Frege Systems with Counting Axioms Polynomially Simulate Nullstellensatz Refutations
Russell Impagliazzo
Nathan Segerlind
Published in:
CoRR (2003)
Keyphrases
</>
data sets
neural network
distributed systems
learning systems
database
real world
decision trees
high quality
expert systems
mobile devices
management system
intelligent systems
building blocks
depth information