Constraints

, Volume 19, Issue 4, pp 434–462

Symmetries, almost symmetries, and lazy clause generation

  • Geoffrey Chu
  • Maria Garcia de la Banda
  • Christopher Mears
  • Peter J. Stuckey
Article

DOI: 10.1007/s10601-014-9163-9

Cite this article as:
Chu, G., Garcia de la Banda, M., Mears, C. et al. Constraints (2014) 19: 434. doi:10.1007/s10601-014-9163-9
  • 141 Downloads

Abstract

Lazy Clause Generation is a powerful approach for reducing search in Constraint Programming. This is achieved by recording sets of domain restrictions that previously led to failure as new clausal propagators. Symmetry breaking approaches are also powerful methods for reducing search by avoiding the exploration of symmetric parts of the search space. In this paper, we show how we can successfully combine Symmetry Breaking During Search and Lazy Clause Generation to create a new symmetry breaking method which we call SBDS-1UIP. We show that the more precise nogoods generated by a lazy clause solver allow our combined approach to exploit symmetries that cannot be exploited by any previous symmetry breaking method. We also show that SBDS-1UIP can easily be modified to exploit almost symmetries very effectively.

Keywords

Symmetry breaking Almost symmetry Lazy clause generation 

Copyright information

© Springer Science+Business Media New York 2014

Authors and Affiliations

  • Geoffrey Chu
    • 1
  • Maria Garcia de la Banda
    • 2
  • Christopher Mears
    • 2
  • Peter J. Stuckey
    • 1
  1. 1.National ICT Australia, Victoria Laboratory, Department of Computing and Information SystemsUniversity of MelbourneMelbourneAustralia
  2. 2.Faculty of Information TechnologyMonash UniversityMelbourneAustralia

Personalised recommendations