A Hybrid BDD and SAT Finite Domain Constraint Solver.
Peter HawkinsPeter J. StuckeyPublished in: PADL (2006)
Keyphrases
- constraint solver
- finite domain
- sat solvers
- satisfiability problem
- constraint solving
- constraint programming
- constraint propagation
- linear constraints
- constraint satisfaction
- constraint satisfaction problems
- boolean formula
- constraint logic programming
- phase transition
- search tree
- search strategies
- orders of magnitude
- bounded treewidth
- search space
- constraint solvers
- real numbers
- combinatorial problems
- temporal logic
- linear programming
- constraint networks
- boolean functions
- np complete