Towards a Better Understanding of the Functionality of a Conflict-Driven SAT Solver.

Nachum Dershowitz Ziyad Hanna Alexander Nadel

Published in: SAT (2007)

Keyphrases

sat solvers
sat solving
boolean satisfiability
search strategies
constraint satisfaction
sat problem
orders of magnitude
sat instances
search tree
propositional satisfiability
search space
boolean formula
max sat
probabilistic planning
constraint satisfaction problems
data structure
unsatisfiable cores