Non-Automatizability of Bounded-Depth Frege Proofs.

Maria Luisa Bonet Carlos Domingo Ricard Gavaldà Alexis Maciel Toniann Pitassi

Published in: Comput. Complex. (2004)

Keyphrases

depth map
depth information
theorem proving
machine learning
genetic algorithm
artificial intelligence
e learning
decision trees
database systems
expert systems
evolutionary algorithm
multi view
asymptotically optimal
decision procedures
equational theories