Solving Combinatorial Problems with a Constraint Functional Logic Language.
Antonio J. FernándezMaria Teresa Hortalá-GonzálezFernando Sáenz-PérezPublished in: PADL (2003)
Keyphrases
- combinatorial problems
- constraint solvers
- combinatorial optimization
- solving hard
- constraint programming
- graph coloring
- global constraints
- constraint satisfaction problems
- pseudo boolean
- finite domain
- metaheuristic
- combinatorial search
- constraint satisfaction
- constraint problems
- constraint language
- traveling salesman problem
- branch and bound algorithm
- constraint solving
- sat encodings
- programming language
- constraint logic programming
- modal logic
- phase transition
- graph colouring
- hard combinatorial optimization problems
- logic programming
- genetic algorithm
- np complete
- constraint propagation
- neural network
- optimization problems
- simulated annealing
- boolean satisfiability
- constraint solver
- search strategies
- branch and bound
- finite domain constraint