|
|
|
|
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 |
| 1 | Ricardo 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  |
ICLP (Technical Communications)  |
2018 |
DBLP BibTeX RDF |
|
| 1 | Sarah 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. |
IEEE Trans. Vis. Comput. Graph. |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Tack, Christopher Mears |
PhD theses in constraints. |
Constraints |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | John 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. |
ICCS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda |
Visual search tree profiling. |
Constraints |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda |
Learning from Learning Solvers. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Mears, Maria Garcia de la Banda, Mark Wallace 0001, Bart Demoen |
A method for detecting symmetries in constraint models and its generalisation. |
Constraints |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Tack, Christopher Mears |
PhD theses in constraints 2012-2015. |
Constraints |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | John 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. |
ICCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Mears, Maria Garcia de la Banda |
Towards Automatic Dominance Breaking for Constraint Optimization Problems. |
IJCAI |
2015 |
DBLP BibTeX RDF |
|
| 1 | Christopher Mears, Maria Garcia de la Banda, Bart Demoen, Mark Wallace 0001 |
Lightweight dynamic symmetry breaking. |
Constraints |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoffrey Chu, Maria Garcia de la Banda, Christopher Mears, Peter J. Stuckey |
Symmetries, almost symmetries, and lazy clause generation. |
Constraints |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Mears, Andreas Schutt, Peter J. Stuckey, Guido Tack, Kim Marriott, Mark Wallace 0001 |
Modelling with Option Types in MiniZinc. |
CPAIOR |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim 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. |
PacificVis |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Dwyer, Nathalie Henry Riche, Kim Marriott, Christopher Mears |
Edge Compression Techniques for Visualization of Dense Directed Graphs. |
IEEE Trans. Vis. Comput. Graph. |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim 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. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
| 1 | Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda |
Globalizing Constraint Models. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jo Devriendt, Bart Bogaerts 0001, Broes De Cat, Marc Denecker, Christopher Mears |
Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT. |
ICTAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Mears, Todd Niven, Marcel Jackson, Mark Wallace 0001 |
Proving Symmetries by Model Transformation. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda, Christopher Mears |
Symmetries and Lazy Clause Generation. |
IJCAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Mears, Maria Garcia de la Banda, Mark Wallace 0001 |
On implementing symmetry detection. |
Constraints |
2009 |
DBLP DOI BibTeX RDF |
Automatic symmetry detection, Graph automorphism |
| 1 | Christopher Mears, Maria J. García de la Banda, Mark Wallace 0001, Bart Demoen |
A Novel Approach For Detecting Symmetries in CSP Models. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #22 of 22 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license