Login / Signup
An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning
Maria Luisa Bonet
Samuel R. Buss
Published in:
CoRR (2012)
Keyphrases
</>
clause learning
sat solvers
high resolution
satisfiability problem
optimal solution
expert systems
propositional satisfiability