You are here

Constraint-Based Local Search for Constrained Optimum Paths Problems

TitleConstraint-Based Local Search for Constrained Optimum Paths Problems
Publication TypeConference Proceedings
Year of Conference2010
AuthorsPham, Quang Dung, Deville Yves, and Van Hentenryck Pascal
Conference Name7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2010)
Date Published14/06/2010
PublisherSpringer
Conference LocationBologne, Italy
Abstract

Constrained Optimum Path (COP) problems arise in many real-life applications and are ubiquitous in communication networks. They have been traditionally approached by dedicated algorithms, which are often hard to extend with side constraints and to apply widely. This paper proposes a constraint-based local search (CBLS) framework for COP applications, bringing the compositionality, reuse, and extensibility at the core of CBLS and CP systems. The modeling contribution is the ability to express compositional models for various COP applications at a high level of abstraction, while cleanly separating the model and the search procedure. The main technical contribution is a connected neighborhood based on rooted spanning trees to find high-quality solutions to COP problems. The framework, implemented in Comet, is applied to Resource Constrained Shortest Path (RCSP) problems (with and without side constraints) and to the edge-disjoint paths problem (EDP). Computational results show the potential significance of the approach.