Reformulating Constraint Satisfaction Problems to Improve Scalability

  • Kenneth M. Bayer
  • Martin Michalowski
  • Berthe Y. Choueiry
  • Craig A. Knoblock
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4612)


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].


Bipartite Graph Constraint Satisfaction Problem Maximum Matchings Resource Allocation Problem Oriented Graph 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Michalowski, M., Knoblock, C.: A Constraint Satisfaction Approach to Geospatial Reasoning. In: Proc. of AAAI 2005, pp. 423–429 (2005)Google Scholar
  2. 2.
    Choueiry, B.Y., Iwasaki, Y., McIlraith, S.: Towards a Practical Theory of Reformulation for Reasoning About Physical Systems. Artificial Intelligence 162 (1–2), 145–204 (2005)CrossRefGoogle Scholar
  3. 3.
    Giunchiglia, F., Walsh, T.: A Theory of Abstraction. Artificial Intelligence 57(2-3), 323–389 (1992)CrossRefGoogle Scholar
  4. 4.
    Dechter, R., van Beek, P.: Local and global relational consistency. Journal of Theoretical Computer Science (1996)Google Scholar
  5. 5.
    Dechter, R.: Constraint Processing. Morgan Kaufmann, San Francisco (2003)Google Scholar
  6. 6.
    Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach. In: Artificial Intelligence: A Modern Approach, p. 107. Prentice-Hall, Englewood Cliffs (2003)Google Scholar
  7. 7.
    Selman, B., Kautz, H.: Knowledge Compilation and Theory Approximation. Journal of the ACM 43(2), 193–224 (1996)zbMATHCrossRefGoogle Scholar
  8. 8.
    Milano, M.: Constraint and Integer Programming: Toward a Unified Methodology. Kluwer, Dordrecht (2004)zbMATHGoogle Scholar
  9. 9.
    Ellman, T.: Abstraction via Approximate Symmetry. In: IJCAI 1993, pp. 916–921 (1993)Google Scholar
  10. 10.
    Régin, J.: A filtering algorithm for constraints of difference in csps. In: AAAI 1994, pp. 362–367 (1994)Google Scholar
  11. 11.
    Uno, T.: Algorithms for Enumerating All Perfect, Maximum and Maximal Matchings in Bipartite Graphs. In: Leong, H.-V., Jain, S., Imai, H. (eds.) ISAAC 1997. LNCS, vol. 1350, pp. 92–101. Springer, Heidelberg (1997)Google Scholar
  12. 12.
    Berge, C.: Graphs and Hypergraphs. Elsevier, Amsterdam (1973)zbMATHGoogle Scholar
  13. 13.
    West, D.: Introduction to Graph Theory, 2nd edn. Prentice-Hall, Englewood Cliffs (2001)Google Scholar
  14. 14.
    Hopcroft, J.E., Karp, R.M.: An n 5/2 Algorithm for Maximum Matchings in Bipartite Graphs. SIAM 2, 225–231 (1973)zbMATHCrossRefGoogle Scholar
  15. 15.
    Bessière, C., Meseguer, P., Freuder, E., Larrosa, J.: On Forward Checking for Non-binary Constraint Satisfaction. In: Jaffar, J. (ed.) Principles and Practice of Constraint Programming – CP 1999. LNCS, vol. 1713, pp. 88–102. Springer, Heidelberg (1999)Google Scholar
  16. 16.
    Prosser, P.: MAC-CBJ: Maintaining Arc Consistency with Conflict-Directed Backjumping. Technical Report 95/177, Univ. of Strathclyde (1995)Google Scholar
  17. 17.
    Nadel, B.: Representation Selection for Constraint Satisfaction: A Case Study Using n-Queens. IEEE Expert 5(3), 16–24 (1990)CrossRefGoogle Scholar
  18. 18.
    Glaisher, J.: On the Problem of the Eight Queens. Philosophical Magazine 4(48), 457–467 (1874)Google Scholar
  19. 19.
    Puget, J.: On the satisfiability of symmetrical constraint satisfaction problems. In: Komorowski, J., Raś, Z.W. (eds.) ISMIS 1993. LNCS, vol. 689, pp. 350–361. Springer, Heidelberg (1993)Google Scholar
  20. 20.
    Holte, R.C., Choueiry, B.Y.: Abstraction and Reformulation in Artificial Intelligence. Philosophical Trans. of the Royal Society Sec. Biological Sciences 358(1435), 1197–1204 (2003)CrossRefGoogle Scholar
  21. 21.
    Razgon, I., O’Sullivan, B., Provan, G.: Generalizing Global Constraints Based on Network Flows. In: Workshop on Constraint Modelling and Reformulation, pp. 74–87 (2006)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Kenneth M. Bayer
    • 1
  • Martin Michalowski
    • 2
  • Berthe Y. Choueiry
    • 1
    • 2
  • Craig A. Knoblock
    • 2
  1. 1.Constraint Systems Laboratory, University of Nebraska-Lincoln 
  2. 2.University of Southern California, Information Sciences Institute 

Personalised recommendations