Sciweavers

Share
SARA
2007
Springer

Reformulating Constraint Satisfaction Problems to Improve Scalability

10 years 3 months ago
Reformulating Constraint Satisfaction Problems to Improve Scalability
Constraint Programming is a powerful approach for modeling and solving many combinatorial problems, scalability, however, remains an issue in . Abstraction and reformulation techniques are often sought to overcome the complexity barrier. In this paper we introduce four reformulation techniques that operate on the various components of a Constraint Satisfaction Problem (CSP) in order to reduce the cost of problem solving and facilitate scalability. Our reformulations modify one or more component of the CSP (i.e., the query, variables domains, constraints) and detect symmetrical solutions to avoid generating them. We describe each of these reformulations in the context of CSPs, then evaluate their performance and effects in on the building identiļ¬cation problem introduced by Michalowski and Knoblock [1].
Kenneth M. Bayer, Martin Michalowski, Berthe Y. Ch
Added 09 Jun 2010
Updated 09 Jun 2010
Type Conference
Year 2007
Where SARA
Authors Kenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock
Comments (0)
books