9
Publications
216
Citations
9
H-Index
2008
Active since
Christopher Mears is an author at Monash University specializing in engineering, computer science, and automated reasoning.
Top concepts
EngineeringComputer ScienceData ScienceProgram AnalysisAutomated ReasoningHealthUrologyMedicineOncologyRadiology
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
Rows per page
1–5 of 9