Statistics
Publications
9
Citations
216
H-Index
9
Active since
2008
Christopher Mears is an author at Monash University specializing in engineering, computer science, and automated reasoning.
Publications per year
2008–2016
9
9
On implementing symmetry detection
Christopher Mears, María García de la Banda, Mark Wallace · Constraints · 2008 · 26 citations
Sarah Goodwin, Christopher Mears, Tim Dwyer et al. · IEEE Transactions on Visualization and Computer Graphics · 2016 · 23 citations
Such Profiling, Engineering, Visual Programming Language +18
Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT
Jo Devriendt, Bart Bogaerts, Broes De Cat et al. · 2012 · 21 citations · Full text
Constraint Solving, Engineering, Constraint Satisfaction +14
Lightweight dynamic symmetry breaking
Christopher Mears, María García de la Banda, Bart Demoen et al. · Constraints · 2013 · 21 citations · Full text
1–5 of 9