Keyphrases
- combinatorial problems
- constraint programming
- metaheuristic
- graph coloring
- constraint satisfaction problems
- constraint satisfaction
- traveling salesman problem
- combinatorial optimization
- solving hard
- phase transition
- graph colouring
- global constraints
- graph matching
- branch and bound algorithm
- combinatorial search
- hard combinatorial optimization problems
- simulated annealing
- specific problems
- weighted graph
- randomly generated
- optimization problems
- sat encodings
- constraint propagation
- np complete
- search space
- lower bound