Login / Signup
Non-Automatizability of Bounded-Depth Frege Proofs.
Maria Luisa Bonet
Carlos Domingo
Ricard Gavaldà
Alexis Maciel
Toniann Pitassi
Published in:
Computational Complexity Conference (1999)
Keyphrases
</>
depth map
real world
information retrieval
decision making
depth information
depth cues
neural network
machine learning
artificial intelligence
database systems
theorem prover