Login / Signup
Exponential Separations in a Hierarchy of Clause Learning Proof Systems.
Jan Johannsen
Published in:
SAT (2013)
Keyphrases
</>
clause learning
data structure
expert systems
programming language
language model
theorem prover
optimal solution
np hard
retrieval systems