Login / Signup
Exponential Separations in a Hierarchy of Clause Learning Proof Systems.
Jan Johannsen
Published in:
Electron. Colloquium Comput. Complex. (2013)
Keyphrases
</>
artificial intelligence
expert systems
search space
metaheuristic
retrieval systems
theorem prover