A simple statistical algorithm for biological sequence compression MD Cao, TI Dix, L Allison, C Mears 2007 Data Compression Conference (DCC'07), 43-52, 2007 | 275 | 2007 |
Edge compression techniques for visualization of dense directed graphs T Dwyer, NH Riche, K Marriott, C Mears IEEE transactions on visualization and computer graphics 19 (12), 2596-2605, 2013 | 76 | 2013 |
On implementing symmetry detection C Mears, M Garcia De La Banda, M Wallace Constraints 14, 443-477, 2009 | 54 | 2009 |
Symmetry propagation: Improved dynamic symmetry breaking in SAT J Devriendt, B Bogaerts, B De Cat, M Denecker, C Mears 2012 IEEE 24th International Conference on Tools with Artificial …, 2012 | 46 | 2012 |
What do constraint programming users want to see? Exploring the role of visualisation in profiling of models and search S Goodwin, C Mears, T Dwyer, MG de la Banda, G Tack, M Wallace IEEE Transactions on Visualization and Computer Graphics 23 (1), 281-290, 2016 | 38 | 2016 |
Lightweight dynamic symmetry breaking C Mears, M Garcia De La Banda, B Demoen, M Wallace Constraints 19, 195-242, 2014 | 27 | 2014 |
Improved optimal and approximate power graph compression for clearer visualisation of dense graphs T Dwyer, C Mears, K Morgan, T Niven, K Marriott, M Wallace 2014 IEEE Pacific visualization symposium, 105-112, 2014 | 27 | 2014 |
Globalizing constraint models K Leo, C Mears, G Tack, M Garcia de la Banda International Conference on Principles and Practice of Constraint …, 2013 | 26 | 2013 |
A novel approach for detecting symmetries in CSP models C Mears, M Garcia de la Banda, M Wallace, B Demoen International Conference on Integration of Artificial Intelligence (AI) and …, 2008 | 25 | 2008 |
Symmetries and lazy clause generation G Chu, MG de la Banda, C Mears, PJ Stuckey Twenty-Second International Joint Conference on Artificial Intelligence, 2011 | 23 | 2011 |
A radiobiology-based inverse treatment planning method for optimisation of permanent l-125 prostate implants in focal brachytherapy A Haworth, C Mears, JM Betts, HM Reynolds, G Tack, K Leo, S Williams, ... Physics in Medicine & Biology 61 (1), 430, 2015 | 20 | 2015 |
Towards automatic dominance breaking for constraint optimization problems CD Mears, MJG De La Banda International Joint Conference on Artificial Intelligence 2015, 360-366, 2015 | 19 | 2015 |
Symmetries, almost symmetries, and lazy clause generation G Chu, M Garcia De La Banda, C Mears, PJ Stuckey Constraints 19, 434-462, 2014 | 19 | 2014 |
Visual search tree profiling M Shishmarev, C Mears, G Tack, M Garcia De La Banda Constraints 21, 77-94, 2016 | 18 | 2016 |
Modelling with option types in MiniZinc C Mears, A Schutt, PJ Stuckey, G Tack, K Marriott, M Wallace Integration of AI and OR Techniques in Constraint Programming: 11th …, 2014 | 18 | 2014 |
Learning from learning solvers M Shishmarev, C Mears, G Tack, M Garcia de la Banda Principles and Practice of Constraint Programming: 22nd International …, 2016 | 17 | 2016 |
Optimised robust treatment plans for prostate cancer focal brachytherapy JM Betts, C Mears, HM Reynolds, G Tack, K Leo, MA Ebert, A Haworth Procedia Computer Science 51, 914-923, 2015 | 16 | 2015 |
A method for detecting symmetries in constraint models and its generalisation C Mears, M Garcia De La Banda, M Wallace, B Demoen Constraints 20 (2), 235-273, 2015 | 14 | 2015 |
Proving symmetries by model transformation C Mears, T Niven, M Jackson, M Wallace International Conference on Principles and Practice of Constraint …, 2011 | 14 | 2011 |
Automatic symmetry detection and dynamic symmetry breaking for constraint programming C Mears Ph. D. thesis, Clayton School of Information Technology, Monash University, 2009 | 12 | 2009 |