Reformulating constraint satisfaction problems to improve scalability

  • Authors:

  • Kenneth M. Bayer;Martin Michalowski;Berthe Y. Choueiry;Craig A. Knoblock

  • Affiliations:

  • Constraint Systems Laboratory, University of Nebraska-Lincoln;University of Southern California, Information Sciences Institute;Constraint Systems Laboratory, University of Nebraska-Lincoln and University of Southern California, Information Sciences Institute;University of Southern California, Information Sciences Institute

  • Venue:
  • SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

Constraint Programming is a powerful approach for modeling and solving many combinatorial problems, scalability, however, remains an issue in practice. 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 identification problem introduced by Michalowski and Knoblock.