[go: up one dir, main page]

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
2832007
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
792013
On implementing symmetry detection
C Mears, M Garcia De La Banda, M Wallace
Constraints 14 (4), 443-477, 2009
572009
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
482012
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
422016
Lightweight dynamic symmetry breaking
C Mears, M Garcia De La Banda, B Demoen, M Wallace
Constraints 19 (3), 195-242, 2014
282014
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
282014
Globalizing constraint models
K Leo, C Mears, G Tack, M Garcia de la Banda
International Conference on Principles and Practice of Constraint …, 2013
272013
A novel approach for detecting symmetries in CSP models
C Mears, M Garcia de la Banda, M Wallace, B Demoen
International Conference on Integration of Artificial Intelligence (AI) and …, 2008
252008
Symmetries and lazy clause generation
G Chu, MG de la Banda, C Mears, PJ Stuckey
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
242011
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
222015
Modelling with option types in MiniZinc
C Mears, A Schutt, PJ Stuckey, G Tack, K Marriott, M Wallace
International Conference on Integration of Constraint Programming …, 2014
202014
Visual search tree profiling
M Shishmarev, C Mears, G Tack, M Garcia De La Banda
Constraints 21 (1), 77-94, 2016
192016
Towards automatic dominance breaking for constraint optimization problems
CD Mears, MJG De La Banda
International Joint Conference on Artificial Intelligence 2015, 360-366, 2015
192015
Symmetries, almost symmetries, and lazy clause generation
G Chu, M Garcia De La Banda, C Mears, PJ Stuckey
Constraints 19 (4), 434-462, 2014
192014
Learning from learning solvers
M Shishmarev, C Mears, G Tack, M Garcia de la Banda
International conference on principles and practice of constraint …, 2016
182016
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
172015
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
152015
Proving symmetries by model transformation
C Mears, T Niven, M Jackson, M Wallace
International Conference on Principles and Practice of Constraint …, 2011
152011
Automatic symmetry detection and dynamic symmetry breaking for constraint programming
C Mears
Ph. D. thesis, Clayton School of Information Technology, Monash University, 2009
122009
The system can't perform the operation now. Try again later.
Articles 1–20