Christopher Mears
Christopher Mears
Redbubble
Verified email at cmears.id.au
TitleCited byYear
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
1952007
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
432013
On implementing symmetry detection
C Mears, MG De La Banda, M Wallace
Constraints 14 (4), 443-477, 2009
412009
Lightweight dynamic symmetry breaking
C Mears, MG De La Banda, B Demoen, M Wallace
Constraints 19 (3), 195-242, 2014
172014
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
172014
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
152017
Symmetries and lazy clause generation
G Chu, MG de la Banda, C Mears, PJ Stuckey
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
152011
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
152008
Globalizing constraint models
K Leo, C Mears, G Tack, MG De La Banda
International Conference on Principles and Practice of Constraint …, 2013
142013
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
142012
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
112015
Proving symmetries by model transformation
C Mears, T Niven, M Jackson, M Wallace
International Conference on Principles and Practice of Constraint …, 2011
112011
Visual search tree profiling
M Shishmarev, C Mears, G Tack, MG de la Banda
Constraints 21 (1), 77-94, 2016
92016
Automatic symmetry detection and dynamic symmetry breaking for constraint programming
C Mears
Ph. D. thesis, Clayton School of Information Technology, Monash University, 2009
92009
Learning from Learning Solvers
M Shishmarev, C Mears, G Tack, MG de la Banda
International Conference on Principles and Practice of Constraint …, 2016
82016
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
82014
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
72015
Towards automatic dominance breaking for constraint optimization problems
C Mears, MG De La Banda
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
62015
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
62015
Symmetries, almost symmetries, and lazy clause generation
G Chu, MG de la Banda, C Mears, PJ Stuckey
Constraints 19 (4), 434-462, 2014
52014
The system can't perform the operation now. Try again later.
Articles 1–20