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