A Symbolic Manipulation System for Combinatorial Problems.
Paolo MassazzaGiancarlo MauriP. RighiMauro TorelliPublished in: AAECC (1986)
Keyphrases
- combinatorial problems
- constraint programming
- metaheuristic
- constraint satisfaction problems
- graph coloring
- combinatorial optimization
- constraint satisfaction
- phase transition
- traveling salesman problem
- solving hard
- branch and bound algorithm
- global constraints
- graph colouring
- combinatorial search
- finite domain
- optimal solution
- search methods
- branch and bound
- search space
- hard combinatorial optimization problems
- search strategies
- constraint propagation
- specific problems
- tabu search