A Novel Approach For Detecting Symmetries in CSP Models. - Christopher Mears; Maria J. García de la Banda; Mark Wallace 001; Bart Demoen (CPAIOR, 2008)

On implementing symmetry detection. - Christopher Mears; Maria Garcia de la Banda; Mark Wallace 001 (Constraints An Int. J., 2009)

Proving Symmetries by Model Transformation. - Christopher Mears; Todd Niven; Marcel Jackson; Mark Wallace 001 (CP, 2011)

Symmetries and Lazy Clause Generation. - Geoffrey Chu; Peter J. Stuckey; Maria Garcia de la Banda; Christopher Mears (IJCAI, 2011)

Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT. - Jo Devriendt; Bart Bogaerts 001; Broes De Cat; Marc Denecker; Christopher Mears (ICTAI, 2012)

Edge Compression Techniques for Visualization of Dense Directed Graphs. - Tim Dwyer; Nathalie Henry Riche; Kim Marriott; Christopher Mears (IEEE Trans. Vis. Comput. Graph., 2013)

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 001 (PacificVis, 2014)

Modelling with Option Types in MiniZinc. - Christopher Mears; Andreas Schutt; Peter J. Stuckey; Guido Tack; Kim Marriott; Mark Wallace 001 (CPAIOR, 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)

Lightweight dynamic symmetry breaking. - Christopher Mears; Maria Garcia de la Banda; Bart Demoen; Mark Wallace 001 (Constraints An Int. J., 2014)

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 (ICCS, 2015)

Towards Automatic Dominance Breaking for Constraint Optimization Problems. - Christopher Mears; Maria Garcia de la Banda (IJCAI, 2015)

A method for detecting symmetries in constraint models and its generalisation. - Christopher Mears; Maria Garcia de la Banda; Mark Wallace 001; Bart Demoen (Constraints An Int. J., 2015)

PhD theses in constraints 2012-2015. - Guido Tack; Christopher Mears (Constraints An Int. J., 2015)

Learning from Learning Solvers. - Maxim Shishmarev; Christopher Mears; Guido Tack; Maria Garcia de la Banda (CP, 2016)

Visual search tree profiling. - Maxim Shishmarev; Christopher Mears; Guido Tack; Maria Garcia de la Banda (Constraints An Int. J., 2016)

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 (ICCS, 2017)

PhD theses in constraints. - Guido Tack; Christopher Mears (Constraints An Int. J., 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 001 (IEEE Trans. Vis. Comput. Graph., 2017)

Globalizing constraint models. - Kevin Leo; Christopher Mears; Guido Tack; Maria Garcia de la Banda (Artif. Intell., 2022)