TY - GEN
T1 - Reformulating constraint satisfaction problems to improve scalability
AU - Bayer, Kenneth M.
AU - Michalowski, Martin
AU - Choueiry, Berthe Y.
AU - Knoblock, Craig A.
PY - 2007
Y1 - 2007
N2 - 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 [1].
AB - 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 [1].
UR - http://www.scopus.com/inward/record.url?scp=34548098718&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=34548098718&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-73580-9_8
DO - 10.1007/978-3-540-73580-9_8
M3 - Conference contribution
AN - SCOPUS:34548098718
SN - 3540735798
SN - 9783540735793
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 64
EP - 79
BT - Abstraction, Reformulation, and Approximation - 7th International Symposium, SARA 2007 Proceedings
PB - Springer Verlag
T2 - 7th International Symposium on Abstraction, Reformulation, and Approximation , SARA 2007
Y2 - 18 July 2007 through 21 July 2007
ER -