A Language and a Program for Stating and Solving Combinatorial Problems.
Jean-Louis LaurièrePublished in: Artif. Intell. (1978)
Keyphrases
- systematic search
- combinatorial problems
- constraint propagation
- constraint programming
- constraint satisfaction problems
- solving hard
- constraint satisfaction
- combinatorial optimization
- graph coloring
- metaheuristic
- traveling salesman problem
- computer programs
- constraint logic programming
- pseudo boolean
- phase transition
- constraint solving
- global constraints
- combinatorial search
- finite domain
- programming language
- constraint solvers
- search space
- constraint problems
- optimization problems
- specific problems
- branch and bound algorithm
- hard combinatorial optimization problems
- graph colouring
- sat encodings
- boolean satisfiability
- np complete
- ant colony optimization
- evolutionary algorithm