Login / Signup
Planning Graphs and Propositional Clause-Learning.
Jussi Rintanen
Published in:
KR (2008)
Keyphrases
</>
clause learning
sat solvers
satisfiability problem
proof procedure
sat problem
sat solving
propositional satisfiability
orders of magnitude
constraint satisfaction
search space
max sat
machine learning
sat instances