The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Christopher Mears" ( http://dblp.L3S.de/Authors/Christopher_Mears )

  Author page on DBLP  Author page in RDF  Community of Christopher Mears in ASPL-2

Publication years (Num. hits)
2008-2015 (16) 2016-2018 (6)
Publication types (Num. hits)
article(10) inproceedings(11) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1 occurrences of 1 keywords

Results
Found 23 publication records. Showing 22 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ricardo Rocha 0001, Tran Cao Son, Christopher Mears, Neda Saeedloei (eds.) Technical Communications of the 33rd International Conference on Logic Programming, ICLP 2017, August 28 to September 1, 2017, Melbourne, Australia Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  BibTeX  RDF
1Sarah Goodwin, Christopher Mears, Tim Dwyer, Maria Garcia de la Banda, Guido Tack, Mark Wallace 0001 What do Constraint Programming Users Want to See? Exploring the Role of Visualisation in Profiling of Models and Search. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Guido Tack, Christopher Mears PhD theses in constraints. Search on Bibsonomy Constraints The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1John M. Betts, Christopher Mears, Hayley M. Reynolds, Martin A. Ebert, Annette Haworth Prostate cancer focal brachytherapy: Improving treatment plan robustness using a convolved dose rate model. Search on Bibsonomy ICCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda Visual search tree profiling. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda Learning from Learning Solvers. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christopher Mears, Maria Garcia de la Banda, Mark Wallace 0001, Bart Demoen A method for detecting symmetries in constraint models and its generalisation. Search on Bibsonomy Constraints The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Guido Tack, Christopher Mears PhD theses in constraints 2012-2015. Search on Bibsonomy Constraints The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1John M. Betts, Christopher Mears, Hayley M. Reynolds, Guido Tack, Kevin Leo, Martin A. Ebert, Annette Haworth Optimised Robust Treatment Plans for Prostate Cancer Focal Brachytherapy. Search on Bibsonomy ICCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Christopher Mears, Maria Garcia de la Banda Towards Automatic Dominance Breaking for Constraint Optimization Problems. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Christopher Mears, Maria Garcia de la Banda, Bart Demoen, Mark Wallace 0001 Lightweight dynamic symmetry breaking. Search on Bibsonomy Constraints The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Geoffrey Chu, Maria Garcia de la Banda, Christopher Mears, Peter J. Stuckey Symmetries, almost symmetries, and lazy clause generation. Search on Bibsonomy Constraints The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christopher Mears, Andreas Schutt, Peter J. Stuckey, Guido Tack, Kim Marriott, Mark Wallace 0001 Modelling with Option Types in MiniZinc. Search on Bibsonomy CPAIOR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tim Dwyer, Christopher Mears, Kerri Morgan, Todd Niven, Kim Marriott, Mark Wallace 0001 Improved Optimal and Approximate Power Graph Compression for Clearer Visualisation of Dense Graphs. Search on Bibsonomy PacificVis The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tim Dwyer, Nathalie Henry Riche, Kim Marriott, Christopher Mears Edge Compression Techniques for Visualization of Dense Directed Graphs. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Tim Dwyer, Christopher Mears, Kerri Morgan, Todd Niven, Kim Marriott, Mark Wallace 0001 Improved Optimal and Approximate Power Graph Compression for Clearer Visualisation of Dense Graphs. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda Globalizing Constraint Models. Search on Bibsonomy CP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jo Devriendt, Bart Bogaerts 0001, Broes De Cat, Marc Denecker, Christopher Mears Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT. Search on Bibsonomy ICTAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Christopher Mears, Todd Niven, Marcel Jackson, Mark Wallace 0001 Proving Symmetries by Model Transformation. Search on Bibsonomy CP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda, Christopher Mears Symmetries and Lazy Clause Generation. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christopher Mears, Maria Garcia de la Banda, Mark Wallace 0001 On implementing symmetry detection. Search on Bibsonomy Constraints The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Automatic symmetry detection, Graph automorphism
1Christopher Mears, Maria J. García de la Banda, Mark Wallace 0001, Bart Demoen A Novel Approach For Detecting Symmetries in CSP Models. Search on Bibsonomy CPAIOR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #22 of 22 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license