Control Abstractions for Local Search

  • Authors:
  • Pascal Hentenryck;Laurent Michel

  • Affiliations:
  • Brown University, Providence, USA 02912;University of Connecticut, Storrs, USA 06269-2155

  • Venue:
  • Constraints
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

Comet is an object-oriented language supporting a constraint-based architecture for local search through declarative and search components. This paper proposes three novel and lightweight control abstractions for the search component, significantly enhancing the compositionality, modularity, and reuse of Comet programs. These abstractions, which includes events and checkpoints, rely on first-class closures as the enabling technology. They are especially useful for expressing, in a modular way, heuristic and meta-heuristics, unions of heterogeneous neighborhoods, and sequential composition of neighborhoods.