Publications

Journal Papers

What do Constraint Programming Users Want to See? Exploring the role of Visualisation in Profiling of Models and Search. Sarah Goodwin, Christopher Mears, Tim Dwyer, Maria Garcia de la Banda, Guido Tack, Mark Wallace. IEEE Transactions on Visualization and Computer Graphics. 2016. [official link]
Visual search tree profiling. Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda. Constraints 21(1), pp. 77-94. 2016. [official link]
A radiobiology-based inverse treatment planning method for optimisation of permanent l-125 prostate implants in focal brachytherapy. Annette Haworth, Christopher Mears, John M Betts, Hayley M Reynolds, Guido Tack, Kevin Leo, Scott Williams, Martin A Ebert. Physics in Medicine and Biology, 61(1). 2015. [official link]
A method for detecting symmetries in constraint models and its generalisation. Christopher Mears, Maria Garcia de la Banda, Mark Wallace, Bart Demoen. Constraints 20(2), pp. 235-273. 2015. [official link] [PDF] [experimental material]
Symmetries, almost symmetries, and lazy clause generation. Geoffrey Chu, Maria Garcia de la Banda, Christopher Mears, Peter J. Stuckey. Constraints 19(4), pp. 434-462. 2014. [official link]
Lightweight dynamic symmetry breaking. Christopher Mears, Maria Garcia de la Banda, Bart Demoen, Mark Wallace. Constraints 19(3), pp. 195-242. 2014. [official link] [PDF]
Edge Compression Techniques for Visualization of Dense Directed Graphs. Tim Dwyer, Nathalie Henry Riche, Kim Marriott, Christopher Mears. IEEE Transactions on Visualization and Computer Graphics (volume 19, issue 12). 2013. [official link]
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

Learning from Learning Solvers. Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda. CP 2016, LNCS 9892 pp. 455-472. 2016. [official link]
Towards automatic dominance breaking for constraint optimization problems. Christopher Mears, Maria Garcia de la Banda. IJCAI 2015. 2015. [official link]
Improved Optimal and Approximate Power Graph Compression for Clearer Visualisation of Dense Graphs. T. Dwyer, C. Mears, T. Niven, K. Marriott, M. Wallace. 2014 IEEE Pacific Visualization Symposium (PacificVis), pp. 105-112. 2014. [official link]
Modelling with Option Types in MiniZinc. Christopher Mears, Andreas Schutt, Peter J. Stuckey, Guido Tack, Kim Marriott, Mark Wallace. CPAIOR 2014, LNCS 8451, pp. 88-103. 2014. [official link] [PDF]
Globalizing Constraint Models. Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda. CP 2013, LNCS 8124 pp. 432-447. 2013. [official link] [PDF]
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

Towards Automatic Dominance Breaking. Christopher Mears, Maria Garcia de la Banda. 13th International Workshop on Constraint Modelling and Reformulation, ModRef 2014. 2014.
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]