Keyphrases
- global constraints
- constraint programming
- constraint satisfaction problems
- propositional satisfiability
- sat problem
- boolean constraints
- satisfiability problem
- sat solvers
- weighted constraint satisfaction
- combinatorial problems
- symmetry breaking
- graph coloring
- arc consistency
- integer programming
- search algorithm
- boltzmann machine
- max sat
- integer linear programming
- search strategies
- constraint propagation
- genetic algorithm
- parameterized complexity