Christopher Mears
Christopher Mears
Redbubble
Verified email at cmears.id.au
Title
Cited by
Cited by
Year
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
2152007
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
522013
On implementing symmetry detection
C Mears, MG De La Banda, M Wallace
Constraints 14 (4), 443-477, 2009
442009
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
222017
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
212014
Lightweight dynamic symmetry breaking
C Mears, MG De La Banda, B Demoen, M Wallace
Constraints 19 (3), 195-242, 2014
182014
Globalizing constraint models
K Leo, C Mears, G Tack, MG De La Banda
International Conference on Principles and Practice of Constraint …, 2013
162013
Symmetries and lazy clause generation
G Chu, MG de la Banda, C Mears, PJ Stuckey
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
162011
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
162008
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
152015
Learning from Learning Solvers
M Shishmarev, C Mears, G Tack, MG de la Banda
International Conference on Principles and Practice of Constraint …, 2016
132016
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
132012
Visual search tree profiling
M Shishmarev, C Mears, G Tack, MG de la Banda
Constraints 21 (1), 77-94, 2016
122016
Proving symmetries by model transformation
C Mears, T Niven, M Jackson, M Wallace
International Conference on Principles and Practice of Constraint …, 2011
112011
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
102015
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
92015
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
92014
Automatic symmetry detection and dynamic symmetry breaking for constraint programming
C Mears
Ph. D. thesis, Clayton School of Information Technology, Monash University, 2009
92009
Towards automatic dominance breaking for constraint optimization problems
C Mears, MG De La Banda
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
82015
Symmetries, almost symmetries, and lazy clause generation
G Chu, MG de la Banda, C Mears, PJ Stuckey
Constraints 19 (4), 434-462, 2014
62014
The system can't perform the operation now. Try again later.
Articles 1–20