Christopher Mears

Automatic symmetry detection and dynamic symmetry breaking for constraint programming

Christopher Mears, Christopher David Mears, 2009 .

Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT

Christopher Mears, Marc Denecker, Bart Bogaerts, 2012, 2012 IEEE 24th International Conference on Tools with Artificial Intelligence.

Lightweight dynamic symmetry breaking

Bart Demoen, Christopher Mears, Mark Wallace, 2014, Constraints.

Proving Symmetries by Model Transformation

Christopher Mears, Mark Wallace, Todd Niven, 2011, CP.

Modelling with Option Types in MiniZinc

Peter J. Stuckey, Kim Marriott, Christopher Mears, 2014, CPAIOR.

What do Constraint Programming Users Want to See? Exploring the Role of Visualisation in Profiling of Models and Search

Christopher Mears, Mark Wallace, Maria Garcia de la Banda, 2017, IEEE Transactions on Visualization and Computer Graphics.

Edge Compression Techniques for Visualization of Dense Directed Graphs

Kim Marriott, Christopher Mears, Tim Dwyer, 2013, IEEE Transactions on Visualization and Computer Graphics.

Towards Automatic Dominance Breaking for Constraint Optimization Problems

Christopher Mears, Maria Garcia de la Banda, M. G. D. L. Banda, 2015, IJCAI.

Symmetries, almost symmetries, and lazy clause generation

Peter J. Stuckey, Christopher Mears, Maria Garcia de la Banda, 2014, Constraints.

Improved Optimal and Approximate Power Graph Compression for Clearer Visualisation of Dense Graphs

Kerri Morgan, Kim Marriott, Christopher Mears, 2013, 2014 IEEE Pacific Visualization Symposium.

On implementing symmetry detection

Christopher Mears, Mark Wallace, Maria Garcia de la Banda, 2009, Constraints.