Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Volume 3524 of the series Lecture Notes in Computer Science pp 380-395

Nondeterministic Control for Hybrid Search

  • Pascal Van HentenryckAffiliated withBrown University
  • , Laurent MichelAffiliated withUniversity of Connecticut

* Final gross prices may vary according to local VAT.

Get Access


Hybrid algorithms combining local and systematic search often use nondeterminism in fundamentally different ways. They may differ in the strategy to explore the search tree and/or in how computation states are represented. This paper presents nondeterministic control structures to express a variety of hybrid search algorithms concisely and elegantly. These nondeterministic abstractions describe the search tree and are compiled in terms of first-class continuations. They are also parameterized by search controllers that are under user control and specify the state representation and the exploration strategy. The resulting search language is thus high-level, flexible, and directly extensible. The abstractions are illustrated on a jobshop scheduling algorithm that combines tabu search and a limited form of backtracking. Preliminary experimental results indicate that the control structures induce small, often negligible, overheads.