Mears, Christopher; de la Banda, Maria Garcia; Wallace, Mark; Demoen, Bart A method for detecting symmetries in constraint models and its generalisation. (English) Zbl 1316.90029 Constraints 20, No. 2, 235-273 (2015). MSC: 90C10 PDFBibTeX XMLCite \textit{C. Mears} et al., Constraints 20, No. 2, 235--273 (2015; Zbl 1316.90029) Full Text: DOI
Chu, Geoffrey; de la Banda, Maria Garcia; Mears, Christopher; Stuckey, Peter J. Symmetries, almost symmetries, and lazy clause generation. (English) Zbl 1316.90045 Constraints 19, No. 4, 434-462 (2014). MSC: 90C30 PDFBibTeX XMLCite \textit{G. Chu} et al., Constraints 19, No. 4, 434--462 (2014; Zbl 1316.90045) Full Text: DOI Link
Mears, Christopher; de la Banda, Maria Garcia; Demoen, Bart; Wallace, Mark Lightweight dynamic symmetry breaking. (English) Zbl 1338.90269 Constraints 19, No. 3, 195-242 (2014). MSC: 90C10 PDFBibTeX XMLCite \textit{C. Mears} et al., Constraints 19, No. 3, 195--242 (2014; Zbl 1338.90269) Full Text: DOI Link
Mears, C.; Garcia de la Banda, M.; Wallace, M. On implementing symmetry detection. (English) Zbl 1181.68177 Constraints 14, No. 4, 443-477 (2009). MSC: 68R10 68T20 PDFBibTeX XMLCite \textit{C. Mears} et al., Constraints 14, No. 4, 443--477 (2009; Zbl 1181.68177) Full Text: DOI
Mears, Christopher; Garcia de la Banda, Maria; Wallace, Mark; Demoen, Bart A novel approach for detecting symmetries in CSP models. (English) Zbl 1142.68520 Perron, Laurent (ed.) et al., Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. 5th international conference, CPAIOR 2008 Paris, France, May 20–23, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-68154-0/pbk). Lecture Notes in Computer Science 5015, 158-172 (2008). MSC: 68T20 90C27 PDFBibTeX XMLCite \textit{C. Mears} et al., Lect. Notes Comput. Sci. 5015, 158--172 (2008; Zbl 1142.68520) Full Text: DOI