Constraints

, Volume 20, Issue 2, pp 235–273

A method for detecting symmetries in constraint models and its generalisation

  • Christopher Mears
  • Maria Garcia de la Banda
  • Mark Wallace
  • Bart Demoen
Article

DOI: 10.1007/s10601-014-9175-5

Cite this article as:
Mears, C., Garcia de la Banda, M., Wallace, M. et al. Constraints (2015) 20: 235. doi:10.1007/s10601-014-9175-5

Abstract

The symmetries that appear in many constraint problems can be used to significantly speed up the search for solutions to these problems. While the accurate detection of symmetries in instances of a given constraint problem is possible, current methods tend to be impractical for real-sized instances. On the other hand, methods capable of detecting properties for a problem model – and thus all its instances – are efficient but not accurate enough. This paper presents a new method for inferring symmetries in constraint satisfaction models that combines the high accuracy of instance-based methods with the efficiency of model-based methods; the key insight is that symmetries detected for small instances of the model can be generalised to the model itself. Experimental evaluation shows that this approach is able to find all symmetries in almost all the benchmark problems used. The generality of our method is then illustrated by showing how it can be applied to infer other properties.

Keywords

Symmetry Program analysis Model properties Symmetry detection 

Copyright information

© Springer Science+Business Media New York 2014

Authors and Affiliations

  • Christopher Mears
    • 1
  • Maria Garcia de la Banda
    • 1
  • Mark Wallace
    • 1
  • Bart Demoen
    • 2
  1. 1.Monash UniversityMelbourneAustralia
  2. 2.KU LeuvenLeuvenBelgium

Personalised recommendations