Branching rules for propositional satisfiability test.

Published in: Satisfiability Problem: Theory and Applications (1996)

Keyphrases

propositional satisfiability
variable ordering
automated reasoning
sat solvers
propositional logic
constraint programming
branch and bound
solving hard
industrial applications
davis putnam
machine learning
genetic algorithm
scheduling problem
graphical models
sat problem
stochastic local search