Global Cut Framework for Removing Symmetries

  • Filippo Focacci
  • Michaela Milano
Conference paper

DOI: 10.1007/3-540-45578-7_6

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2239)
Cite this paper as:
Focacci F., Milano M. (2001) Global Cut Framework for Removing Symmetries. In: Walsh T. (eds) Principles and Practice of Constraint Programming — CP 2001. CP 2001. Lecture Notes in Computer Science, vol 2239. Springer, Berlin, Heidelberg


In this paper, we propose a general technique for removing symmetries in CSPs during search. The idea is to record no-goods, during the exploration of the search tree, whose symmetric counterpart (if any) should be removed. The no-good, called Global Cut Seed (GCS), is used to generate Symmetry Removal Cuts (SRCs), i.e., constraints that are dynamically generated during search and hold in the entire search tree. The propagation of SRCs removes symmetric configurations with respect to already visited states. We present a general, correct and complete filtering algorithm for SRCs. The main advantages of the proposed approach are that it is not intrusive in the problem-dependent search strategy, treats symmetries in an additive way since GCSs are symmetry independent, and enables to write filtering algorithms which handle families of symmetries together. Finally, we show that many relevant previous approaches can be seen as special cases of our framework.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Filippo Focacci
    • 1
  • Michaela Milano
    • 2
  1. 1.ILOG S.A.GentillyFrance
  2. 2.DEIS University of BolognaItaly

Personalised recommendations