Propositional Satisfiability and Constraint Programming: A comparative survey.
Lucas BordeauxYoussef HamadiLintao ZhangPublished in: ACM Comput. Surv. (2006)
Keyphrases
- constraint programming
- propositional satisfiability
- backtrack search
- constraint satisfaction problems
- combinatorial problems
- constraint propagation
- solving hard
- constraint satisfaction
- integer programming
- global constraints
- arc consistency
- search strategies
- column generation
- symmetry breaking
- finite domain
- temporal constraints
- search space
- simulated annealing
- dynamic programming