Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
Artificial Intelligence
Artificial Intelligence
Nonsystematic backtracking search
Nonsystematic backtracking search
Phase transitions and the search problem
Artificial Intelligence - Special volume on frontiers in problem solving: phase transitions and complexity
Computers and Operations Research
Genetic programming: an introduction: on the automatic evolution of computer programs and its applications
Boosting combinatorial search through randomization
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
CLAIRE: combining sets, search and rules to better express algorithms
Proceedings of the 1999 international conference on Logic programming
ACM Transactions on Computational Logic (TOCL)
Artificial Intelligence - special issue on computational tradeoffs under bounded resources
Constraints
SALSA: A Language for Search Algorithms
Constraints
A Constraint Programming Framework for Local Search Methods
Journal of Heuristics
Variable Neighborhood Decomposition Search
Journal of Heuristics
Using Constraint-Based Operators to Solve the Vehicle Routing Problem with Time Windows
Journal of Heuristics
OPL Script: Composing and Controlling Models
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Search Procedures and Parallelism in Constraint Programming
CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Branch and Infer: a Unifying Framework for Integer and Finite Domain Constraint Programming
INFORMS Journal on Computing
Optimal search protocols
A decomposition-based implementation of search strategies
ACM Transactions on Computational Logic (TOCL)
Interleaved depth-first search
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Depth-bounded discrepancy search
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Solving constraint optimization problems in anytime contexts
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Heuristic-biased stochastic sampling
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Bounds arc consistency for weighted CSPs
Journal of Artificial Intelligence Research
Hi-index | 0.01 |
We present a library called ToOLS for the design of complex tree search algorithms in constraint programming (CP). We separate the description of a search algorithm into three parts: a refinement-based search scheme that defines a complete search tree, a set of conditions for visiting nodes that specifies a parameterized partial exploration, and a strategy for combining several partial explorations. This library allows the expression of most of the partial, i.e. nonsystematic backtracking, search methods, and also a specific class of hybrid local/global search methods called large neighborhood search, which are very naturally suited to CP. Variants of these methods are easy to implement with the ToOLS primitives. We demonstrate the expressiveness and efficiency of the library by solving a satellite mission management benchmark that is a mix between a traveling salesman problem with time windows and a Knapsack problem. Several partial and hybrid search methods are compared. Our results dramatically outperform CP approaches based on classical depth-first search methods.