Keyphrases
- symmetry breaking
- constraint programming
- global constraints
- search tree
- quantified boolean formulae
- boolean satisfiability
- graph coloring
- integer linear programming
- constraint satisfaction problems
- combinatorial problems
- multi objective
- symmetry breaking constraints
- sat solvers
- constraint satisfaction
- industrial applications
- constraint propagation
- propositional satisfiability
- combinatorial optimization
- boolean optimization