Follow
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
2592007
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
742013
On implementing symmetry detection
C Mears, M Garcia De La Banda, M Wallace
Constraints 14, 443-477, 2009
542009
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
372012
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
362016
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
262014
Globalizing constraint models
K Leo, C Mears, G Tack, M Garcia de la Banda
International Conference on Principles and Practice of Constraint …, 2013
262013
Lightweight dynamic symmetry breaking
C Mears, M Garcia De La Banda, B Demoen, M Wallace
Constraints 19, 195-242, 2014
242014
A novel approach for detecting symmetries in CSP models
C Mears, M Garcia de la Banda, M Wallace, B Demoen
Integration of AI and OR Techniques in Constraint Programming for …, 2008
242008
Symmetries and lazy clause generation
G Chu, MG de la Banda, C Mears, PJ Stuckey
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
222011
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
202015
Towards automatic dominance breaking for constraint optimization problems
C Mears, MG De La Banda
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
182015
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
182014
Symmetries, almost symmetries, and lazy clause generation
G Chu, M Garcia De La Banda, C Mears, PJ Stuckey
Constraints 19, 434-462, 2014
172014
Learning from learning solvers
M Shishmarev, C Mears, G Tack, M Garcia de la Banda
Principles and Practice of Constraint Programming: 22nd International …, 2016
162016
Visual search tree profiling
M Shishmarev, C Mears, G Tack, M Garcia De La Banda
Constraints 21, 77-94, 2016
162016
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
162015
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
142015
Proving symmetries by model transformation
C Mears, T Niven, M Jackson, M Wallace
International Conference on Principles and Practice of Constraint …, 2011
142011
Automatic symmetry detection and dynamic symmetry breaking for constraint programming
C Mears
Ph. D. thesis, Clayton School of Information Technology, Monash University, 2009
112009
The system can't perform the operation now. Try again later.
Articles 1–20