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
2572007
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
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
372016
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
352012
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
272014
Globalizing constraint models
K Leo, C Mears, G Tack, M Garcia de la Banda
International Conference on Principles and Practice of Constraint …, 2013
262013
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
252008
Lightweight dynamic symmetry breaking
C Mears, M Garcia De La Banda, B Demoen, M Wallace
Constraints 19, 195-242, 2014
242014
Symmetries and lazy clause generation
G Chu, MG de la Banda, C Mears, PJ Stuckey
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
212011
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
Learning from learning solvers
M Shishmarev, C Mears, G Tack, M Garcia de la Banda
Principles and Practice of Constraint Programming: 22nd International …, 2016
172016
Symmetries, almost symmetries, and lazy clause generation
G Chu, M Garcia De La Banda, C Mears, PJ Stuckey
Constraints 19, 434-462, 2014
172014
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