Christopher Mears
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Visual search tree profiling Constraints | 2016-04-12 | Paper |
| Lightweight dynamic symmetry breaking Constraints | 2015-04-29 | Paper |
| A method for detecting symmetries in constraint models and its generalisation Constraints | 2015-04-29 | Paper |
| Symmetries, almost symmetries, and lazy clause generation Constraints | 2015-04-29 | Paper |
| Modelling with option types in MiniZinc Integration of AI and OR Techniques in Constraint Programming | 2014-05-27 | Paper |
| On implementing symmetry detection Constraints | 2009-11-16 | Paper |
| A Novel Approach For Detecting Symmetries in CSP Models Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2008-05-27 | Paper |
Research outcomes over time
This page was built for person: Christopher Mears
