Christopher Mears

According to our database, Christopher Mears authored at least 20 papers between 2008 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Globalizing constraint models.

Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda

Artif. Intell., 2022

2017

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 Trans. Vis. Comput. Graph., 2017

PhD theses in constraints.

Guido Tack, Christopher Mears

Constraints An Int. J., 2017

Prostate cancer focal brachytherapy: Improving treatment plan robustness using a convolved dose rate model.

John M. Betts, Christopher Mears, Hayley M. Reynolds, Martin A. Ebert, Annette Haworth

Proceedings of the International Conference on Computational Science, 2017

2016

Visual search tree profiling.

Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda

Constraints An Int. J., 2016

Learning from Learning Solvers.

Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda

Proceedings of the Principles and Practice of Constraint Programming, 2016

2015

PhD theses in constraints 2012-2015.

Guido Tack, Christopher Mears

Constraints An Int. J., 2015

A method for detecting symmetries in constraint models and its generalisation.

Christopher Mears, Maria Garcia de la Banda, Mark Wallace, Bart Demoen

Constraints An Int. J., 2015

Towards Automatic Dominance Breaking for Constraint Optimization Problems.

Christopher Mears, Maria Garcia de la Banda

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Optimised Robust Treatment Plans for Prostate Cancer Focal Brachytherapy.

John M. Betts, Christopher Mears, Hayley M. Reynolds, Guido Tack, Kevin Leo, Martin A. Ebert, Annette Haworth

Proceedings of the International Conference on Computational Science, 2015

2014

Lightweight dynamic symmetry breaking.

Christopher Mears, Maria Garcia de la Banda, Bart Demoen, Mark Wallace

Constraints An Int. J., 2014

Symmetries, almost symmetries, and lazy clause generation.

Geoffrey Chu, Maria Garcia de la Banda, Christopher Mears, Peter J. Stuckey

Constraints An Int. J., 2014

Modelling with Option Types in MiniZinc.

Christopher Mears, Andreas Schutt, Peter J. Stuckey, Guido Tack, Kim Marriott, Mark Wallace

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2014

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

Tim Dwyer, Christopher Mears, Kerri Morgan, Todd Niven, Kim Marriott, Mark Wallace

Proceedings of the IEEE Pacific Visualization Symposium, 2014

2013

Edge Compression Techniques for Visualization of Dense Directed Graphs.

Tim Dwyer, Nathalie Henry Riche, Kim Marriott, Christopher Mears

IEEE Trans. Vis. Comput. Graph., 2013

2012

Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT.

Jo Devriendt, Bart Bogaerts, Broes De Cat, Marc Denecker, Christopher Mears

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

2011

Symmetries and Lazy Clause Generation.

Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda, Christopher Mears

Proceedings of the IJCAI 2011, 2011

Proving Symmetries by Model Transformation.

Christopher Mears, Todd Niven, Marcel Jackson, Mark Wallace

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2009

On implementing symmetry detection.

Christopher Mears, Maria Garcia de la Banda, Mark Wallace

Constraints An Int. J., 2009

2008

A Novel Approach For Detecting Symmetries in CSP Models.

Christopher Mears, Maria J. García de la Banda, Mark Wallace, Bart Demoen

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008