Heuristics: intelligent search strategies for computer problem solving
Heuristics: intelligent search strategies for computer problem solving
Foundations of logic programming
Foundations of logic programming
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Applying tabu search to the job-shop scheduling problem
Annals of Operations Research - Special issue on Tabu search
Operational rationality through compilation of anytime algorithms
Operational rationality through compilation of anytime algorithms
A tabu search heuristic for the vehicle routing problem
Management Science
Encapsulated search for higher-order concurrent constraint programming
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Search and imperative programming
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Computers and Operations Research
Guided Local Search with Shifting Bottleneck for Job Shop Scheduling
Management Science
Branch and bound algorithm selection by performance prediction
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
The OPL optimization programming language
The OPL optimization programming language
Communications of the ACM
Heuristics for Large Constrained Vehicle Routing Problems
Journal of Heuristics
Controlling Search in Declarative Programs
PLILP '98/ALP '98 Proceedings of the 10th International Symposium on Principles of Declarative Programming
A Meta-Heuristic Factory for Vehicle Routing Problems
CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
A Framework for Constraint Programming Based Column Generation
CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
Search Procedures and Parallelism in Constraint Programming
CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
A unified framework for partial and hybrid search methods in constraint programming
Computers and Operations Research
Monadic constraint programming
Journal of Functional Programming
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Constraints
| Hi-index | 0.00 |
Constraint Programming is recognized as an efficient technique for solving hard combinatorial optimization problems. However, it is best used in conjunction with other optimization paradigms such as local search, yielding hybrid algorithms with constraints. Such combinations lack a language supporting an elegant description and retaining the original declarativity of Constraint Logic Programming. We propose a language, SALSA, dedicated to specifying (local, global or hybrid) search algorithms. We illustrate its use on a few examples from combinatorial optimization for which we specify complex optimization procedures with a few simple lines of code of high abstraction level. We report preliminary experiments showing that such a language can be implemented on top of CP systems, yielding a powerful environment for combinatorial optimization.