Publications

Journal Papers

On implementing symmetry detection. C. Mears, M. Garcia de la Banda, M. Wallace. Constraints, 14(4), pp. 443-477. 2009. [official link] [PDF]

Conference Papers

Symmetry propagation: Improved dynamic symmetry breaking in SAT. Jo Devriendt, Bart Bogaerts, Christopher Mears, Broes De Cat, Marc Denecker. ICTAI'12. 2012. [PDF]
Rail disruption: passenger focused recovery. Natashia Boland, Ian Evans, Christopher Mears, Todd Niven, Matthew Pattison, Mark Wallace, Hamish Waterer. Computers in Railways XIII. 2012. [official link]
Proving Symmetries by Model Transformation. Christopher Mears, Todd Niven, Marcel Jackson, Mark Wallace. CP 2011. 2011. [official link] [PDF]
Symmetries and Lazy Clause Generation. Geoffrey Chu, Maria Garcia de la Banda, Chris Mears, Peter J. Stuckey. IJCAI 11. 2011. [official link]
A Novel Approach For Detecting Symmetries in CSP Models. Christopher Mears, Maria Garcia de la Banda, Mark Wallace, Bart Demoen. CPAIOR 2008, pp. 158-172. 2008. [official link] [PDF]
A Simple Statistical Algorithm for Biological Sequence Compression. Minh Duc Cao, T.I. Dix, L. Allison, C. Mears. Data Compression Conference, 2007. DCC '07, pp. 43-52. 2007. [official link]

Workshop Papers

Proving symmetries by model transformation. C. Mears, T. Niven. 9th International Workshop on Constraint Modelling and Reformulation, ModRef 2010, pp. 1-15. 2010.
Symmetries and Lazy Clause Generation. Geoffrey Chu, Maria Garcia de la Banda, Chris Mears, Peter J. Stuckey. SymCon'10: The Tenth International Workshop on Symmetry in Constraint Satisfaction Problems. 2010.
Symmetry breaking and branching constraints. C. Mears, M. Garcia de la Banda, M. Wallace, B. Demoen. Eighth International Workshop on Symmetry in Constraint Satisfaction Problems, SymCon'08. 2008.
Lightweight Dynamic Symmetry Breaking. C. Mears, M. Garcia de la Banda, B. Demoen, M. Wallace. Eighth International Workshop on Symmetry in Constraint Satisfaction Problems, SymCon'08. 2008.
A Novel Approach for Detecting Symmetries in CSP Models. B. Demoen, M. Garcia de la Banda, C. Mears, M. Wallace. Seventh International Workshop on Symmetry in Constraint Satisfaction Problems, SymCon'07. 2007.

Thesis

Automatic Symmetry Detection and Dynamic Symmetry Breaking for Constraint Programming. Christopher David Mears. Monash University. 2009. [official link] [PDF]