×

zbMATH — the first resource for mathematics

Mears, Christopher

Compute Distance To:
Author ID: mears.christopher Recent zbMATH articles by "Mears, Christopher"
Published as: Mears, C.; Mears, Christopher
Documents Indexed: 8 Publications since 2008, including 1 Book

Publications by Year

Citations contained in zbMATH Open

6 Publications have been cited 15 times in 9 Documents Cited by Year
Symmetries, almost symmetries, and lazy clause generation. Zbl 1316.90045
Chu, Geoffrey; de la Banda, Maria Garcia; Mears, Christopher; Stuckey, Peter J.
4
2014
Lightweight dynamic symmetry breaking. Zbl 1338.90269
Mears, Christopher; de la Banda, Maria Garcia; Demoen, Bart; Wallace, Mark
3
2014
On implementing symmetry detection. Zbl 1181.68177
Mears, C.; Garcia de la Banda, M.; Wallace, M.
3
2009
A novel approach for detecting symmetries in CSP models. Zbl 1142.68520
Mears, Christopher; Garcia de la Banda, Maria; Wallace, Mark; Demoen, Bart
3
2008
Visual search tree profiling. Zbl 1334.90170
Shishmarev, Maxim; Mears, Christopher; Tack, Guido; Garcia de la Banda, Maria
1
2016
Modelling with option types in MiniZinc. Zbl 1407.68458
Mears, Christopher; Schutt, Andreas; Stuckey, Peter J.; Tack, Guido; Marriott, Kim; Wallace, Mark
1
2014
Visual search tree profiling. Zbl 1334.90170
Shishmarev, Maxim; Mears, Christopher; Tack, Guido; Garcia de la Banda, Maria
1
2016
Symmetries, almost symmetries, and lazy clause generation. Zbl 1316.90045
Chu, Geoffrey; de la Banda, Maria Garcia; Mears, Christopher; Stuckey, Peter J.
4
2014
Lightweight dynamic symmetry breaking. Zbl 1338.90269
Mears, Christopher; de la Banda, Maria Garcia; Demoen, Bart; Wallace, Mark
3
2014
Modelling with option types in MiniZinc. Zbl 1407.68458
Mears, Christopher; Schutt, Andreas; Stuckey, Peter J.; Tack, Guido; Marriott, Kim; Wallace, Mark
1
2014
On implementing symmetry detection. Zbl 1181.68177
Mears, C.; Garcia de la Banda, M.; Wallace, M.
3
2009
A novel approach for detecting symmetries in CSP models. Zbl 1142.68520
Mears, Christopher; Garcia de la Banda, Maria; Wallace, Mark; Demoen, Bart
3
2008

Citations by Year