Login / Signup
Subsumption-driven clause learning with DPLL+restarts.
Olivier Bailleux
Published in:
CoRR (2019)
Keyphrases
</>
clause learning
sat solvers
satisfiability problem
np complete
sat solving
description logics
sat problem
propositional satisfiability
davis putnam
phase transition
boolean satisfiability
constraint satisfaction
knowledge base
orders of magnitude
propositional logic