Christopher Mears

Publication Activity (10 Years)

Years Active: 2008-2022
Publications (10 Years): 10

Top Topics

Symmetry Breaking

Constraint Programming

Top Venues

Constraints An Int. J.

IEEE Trans. Vis. Comput. Graph.

Publications

Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda
Globalizing constraint models. Artif. Intell. 302 (2022)
Guido Tack, Christopher Mears
PhD theses in constraints. Constraints An Int. J. 22 (1) (2017)
John M. Betts, Christopher Mears, Hayley M. Reynolds, Martin A. Ebert, Annette Haworth
Prostate cancer focal brachytherapy: Improving treatment plan robustness using a convolved dose rate model. ICCS (2017)
Sarah Goodwin, Christopher Mears, Tim Dwyer, Maria Garcia de la Banda, Guido Tack, Mark Wallace
What do Constraint Programming Users Want to See? Exploring the Role of Visualisation in Profiling of Models and Search. IEEE Trans. Vis. Comput. Graph. 23 (1) (2017)
Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda
Visual search tree profiling. Constraints An Int. J. 21 (1) (2016)
Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda
Learning from Learning Solvers. CP (2016)
Christopher Mears, Maria Garcia de la Banda
Towards Automatic Dominance Breaking for Constraint Optimization Problems. IJCAI (2015)
Guido Tack, Christopher Mears
PhD theses in constraints 2012-2015. Constraints An Int. J. 20 (4) (2015)
Christopher Mears, Maria Garcia de la Banda, Mark Wallace, Bart Demoen
A method for detecting symmetries in constraint models and its generalisation. Constraints An Int. J. 20 (2) (2015)
John M. Betts, Christopher Mears, Hayley M. Reynolds, Guido Tack, Kevin Leo, Martin A. Ebert, Annette Haworth
Optimised Robust Treatment Plans for Prostate Cancer Focal Brachytherapy. ICCS (2015)
Christopher Mears, Maria Garcia de la Banda, Bart Demoen, Mark Wallace
Lightweight dynamic symmetry breaking. Constraints An Int. J. 19 (3) (2014)
Tim Dwyer, Christopher Mears, Kerri Morgan, Todd Niven, Kim Marriott, Mark Wallace
Improved Optimal and Approximate Power Graph Compression for Clearer Visualisation of Dense Graphs. PacificVis (2014)
Christopher Mears, Andreas Schutt, Peter J. Stuckey, Guido Tack, Kim Marriott, Mark Wallace
Modelling with Option Types in MiniZinc. CPAIOR (2014)
Geoffrey Chu, Maria Garcia de la Banda, Christopher Mears, Peter J. Stuckey
Symmetries, almost symmetries, and lazy clause generation. Constraints An Int. J. 19 (4) (2014)
Tim Dwyer, Christopher Mears, Kerri Morgan, Todd Niven, Kim Marriott, Mark Wallace
Improved Optimal and Approximate Power Graph Compression for Clearer Visualisation of Dense Graphs. CoRR (2013)
Tim Dwyer, Nathalie Henry Riche, Kim Marriott, Christopher Mears
Edge Compression Techniques for Visualization of Dense Directed Graphs. IEEE Trans. Vis. Comput. Graph. 19 (12) (2013)
Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda
Globalizing Constraint Models. CP (2013)
Jo Devriendt, Bart Bogaerts, Broes De Cat, Marc Denecker, Christopher Mears
Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT. ICTAI (2012)
Christopher Mears, Todd Niven, Marcel Jackson, Mark Wallace
Proving Symmetries by Model Transformation. CP (2011)
Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda, Christopher Mears
Symmetries and Lazy Clause Generation. IJCAI (2011)
Christopher Mears, Maria Garcia de la Banda, Mark Wallace
On implementing symmetry detection. Constraints An Int. J. 14 (4) (2009)
Christopher Mears, Maria J. García de la Banda, Mark Wallace, Bart Demoen
A Novel Approach For Detecting Symmetries in CSP Models. CPAIOR (2008)