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 | 241 | 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 | 64 | 2013 |
On implementing symmetry detection C Mears, MG De La Banda, M Wallace Constraints 14 (4), 443-477, 2009 | 47 | 2009 |
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, 2017 | 29 | 2017 |
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 | 25 | 2014 |
Globalizing constraint models K Leo, C Mears, G Tack, MG De La Banda International Conference on Principles and Practice of Constraint …, 2013 | 23 | 2013 |
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 | 22 | 2012 |
A novel approach for detecting symmetries in CSP models C Mears, MG de la Banda, M Wallace, B Demoen International Conference on Integration of Artificial Intelligence (AI) and …, 2008 | 21 | 2008 |
Lightweight dynamic symmetry breaking C Mears, MG De La Banda, B Demoen, M Wallace Constraints 19 (3), 195-242, 2014 | 20 | 2014 |
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 | 19 | 2015 |
Symmetries and lazy clause generation G Chu, MG de la Banda, C Mears, PJ Stuckey Twenty-Second International Joint Conference on Artificial Intelligence, 2011 | 18 | 2011 |
Visual search tree profiling M Shishmarev, C Mears, G Tack, MG de la Banda Constraints 21 (1), 77-94, 2016 | 15 | 2016 |
Modelling with option types in minizinc C Mears, A Schutt, PJ Stuckey, G Tack, K Marriott, M Wallace International Conference on AI and OR Techniques in Constriant Programming …, 2014 | 15 | 2014 |
Proving symmetries by model transformation C Mears, T Niven, M Jackson, M Wallace International Conference on Principles and Practice of Constraint …, 2011 | 14 | 2011 |
Learning from Learning Solvers M Shishmarev, C Mears, G Tack, MG de la Banda International Conference on Principles and Practice of Constraint …, 2016 | 13 | 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 | 12 | 2015 |
Symmetries, almost symmetries, and lazy clause generation G Chu, MG de la Banda, C Mears, PJ Stuckey Constraints 19 (4), 434-462, 2014 | 12 | 2014 |
A method for detecting symmetries in constraint models and its generalisation C Mears, MG de la Banda, M Wallace, B Demoen Constraints 20 (2), 235-273, 2015 | 11 | 2015 |
Towards automatic dominance breaking for constraint optimization problems C Mears, MG De La Banda Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015 | 10 | 2015 |
Automatic symmetry detection and dynamic symmetry breaking for constraint programming C Mears Ph. D. thesis, Clayton School of Information Technology, Monash University, 2009 | 9 | 2009 |