Keyphrases
- constraint solver
- pseudo boolean
- combinatorial problems
- constraint programming
- constraint satisfaction problems
- symmetry breaking
- propositional satisfiability
- constraint satisfaction
- pseudo boolean constraints
- constraint propagation
- constraint solving
- integer linear programming
- sat solvers
- exact solution
- column generation
- integer programming
- constraint logic programming
- arc consistency
- constraint networks
- global constraints
- phase transition
- search strategies
- orders of magnitude
- np complete
- search space
- optimal solution
- linear constraints
- sat problem
- linear programming
- np hard