Christopher Mears

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