default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDChristopher Mears
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[j10]Kevin Leo, Christopher Mears, Guido Tack
, Maria Garcia de la Banda:
Globalizing constraint models. Artif. Intell. 302: 103599 (2022)
2010 – 2019
- 2018
- [e1]Ricardo Rocha, Tran Cao Son, Christopher Mears, Neda Saeedloei:
Technical Communications of the 33rd International Conference on Logic Programming, ICLP 2017, August 28 to September 1, 2017, Melbourne, Australia. OASIcs 58, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-058-3 [contents] - 2017
- [j9]Guido Tack, Christopher Mears:
PhD theses in constraints. Constraints An Int. J. 22(1): 90 (2017) - [j8]Sarah Goodwin, Christopher Mears, Tim Dwyer, Maria Garcia de la Banda, Guido Tack, Mark Wallace:
What do Constraint Programming Users Want to See? Exploring the Role of Visualisation in Profiling of Models and Search. IEEE Trans. Vis. Comput. Graph. 23(1): 281-290 (2017) - [c11]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: 1522-1531 - 2016
- [j7]Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda:
Visual search tree profiling. Constraints An Int. J. 21(1): 77-94 (2016) - [c10]Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda:
Learning from Learning Solvers. CP 2016: 455-472 - 2015
- [j6]Christopher Mears, Maria Garcia de la Banda, Mark Wallace, Bart Demoen:
A method for detecting symmetries in constraint models and its generalisation. Constraints An Int. J. 20(2): 235-273 (2015) - [j5]Guido Tack, Christopher Mears:
PhD theses in constraints 2012-2015. Constraints An Int. J. 20(4): 468 (2015) - [c9]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: 914-923 - [c8]Christopher Mears, Maria Garcia de la Banda:
Towards Automatic Dominance Breaking for Constraint Optimization Problems. IJCAI 2015: 360-366 - 2014
- [j4]Christopher Mears, Maria Garcia de la Banda, Bart Demoen, Mark Wallace:
Lightweight dynamic symmetry breaking. Constraints An Int. J. 19(3): 195-242 (2014) - [j3]Geoffrey Chu, Maria Garcia de la Banda, Christopher Mears, Peter J. Stuckey:
Symmetries, almost symmetries, and lazy clause generation. Constraints An Int. J. 19(4): 434-462 (2014) - [c7]Tim Dwyer, Christopher Mears, Kerri Morgan, Todd Niven, Kim Marriott, Mark Wallace:
Improved Optimal and Approximate Power Graph Compression for Clearer Visualisation of Dense Graphs. PacificVis 2014: 105-112 - [c6]Christopher Mears, Andreas Schutt, Peter J. Stuckey, Guido Tack, Kim Marriott, Mark Wallace:
Modelling with Option Types in MiniZinc. CPAIOR 2014: 88-103 - 2013
- [j2]Tim Dwyer, Nathalie Henry Riche, Kim Marriott, Christopher Mears:
Edge Compression Techniques for Visualization of Dense Directed Graphs. IEEE Trans. Vis. Comput. Graph. 19(12): 2596-2605 (2013) - [c5]Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda:
Globalizing Constraint Models. CP 2013: 432-447 - [i1]Tim Dwyer, Christopher Mears, Kerri Morgan, Todd Niven, Kim Marriott, Mark Wallace:
Improved Optimal and Approximate Power Graph Compression for Clearer Visualisation of Dense Graphs. CoRR abs/1311.6996 (2013) - 2012
- [c4]Jo Devriendt, Bart Bogaerts, Broes De Cat, Marc Denecker, Christopher Mears:
Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT. ICTAI 2012: 49-56 - 2011
- [c3]Christopher Mears, Todd Niven, Marcel Jackson, Mark Wallace:
Proving Symmetries by Model Transformation. CP 2011: 591-605 - [c2]Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda, Christopher Mears:
Symmetries and Lazy Clause Generation. IJCAI 2011: 516-521
2000 – 2009
- 2009
- [j1]Christopher Mears, Maria Garcia de la Banda, Mark Wallace:
On implementing symmetry detection. Constraints An Int. J. 14(4): 443-477 (2009) - 2008
- [c1]Christopher Mears, Maria J. García de la Banda, Mark Wallace, Bart Demoen:
A Novel Approach For Detecting Symmetries in CSP Models. CPAIOR 2008: 158-172
Coauthor Index
aka: Maria J. García de la Banda
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
