An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems.
Agostino DovierAndrea FormisanoEnrico PontelliPublished in: J. Exp. Theor. Artif. Intell. (2009)
Keyphrases
- combinatorial problems
- constraint logic programming
- constraint programming
- answer set programming
- constraint satisfaction problems
- constraint solving
- global constraints
- constraint satisfaction
- graph coloring
- logic programming
- logic programs
- constraint propagation
- metaheuristic
- answer sets
- phase transition
- combinatorial optimization
- integer programming
- constraint solver
- finite domain
- traveling salesman problem
- combinatorial search
- propositional satisfiability
- search strategies
- search space
- branch and bound algorithm
- qualitative and quantitative
- artificial intelligence
- np complete
- optimization problems
- np hard
- expert systems