The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Christopher Jefferson" ( http://dblp.L3S.de/Authors/Christopher_Jefferson )

URL (Homepage):  https://orcid.org/0000-0003-2979-5989  Author page on DBLP  Author page in RDF  Community of Christopher Jefferson in ASPL-2

Publication years (Num. hits)
2003-2008 (17) 2009-2012 (17) 2013-2017 (17) 2018-2019 (6)
Publication types (Num. hits)
article(20) inproceedings(36) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7 occurrences of 7 keywords

Results
Found 58 publication records. Showing 57 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Christopher Jefferson, Markus Pfeiffer, Rebecca Waldecker New refiners for permutation group search. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Saad Attieh, Nguyen Dang, Christopher Jefferson, Ian Miguel, Peter Nightingale Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon Automatic Discovery and Exploitation of Promising Subproblems for Tabulation. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale Metamorphic Testing of Constraint Solvers. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ian P. Gent, Christopher Jefferson, Peter Nightingale Complexity of n-Queens Completion (Extended Abstract). Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Özgür Akgün, Saad Attieh, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon, Patrick Spracklen, James Wetter A Framework for Constraint Based Local Search using Essence. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Peter Nightingale, Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Patrick Spracklen Automatically improving constraint models in Savile Row. Search on Bibsonomy Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ian P. Gent, Christopher Jefferson, Peter Nightingale Complexity of n-Queens Completion. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christopher Jefferson, Eliza Jonauskyte, Markus Pfeiffer, Rebecca Waldecker Minimal and Canonical Images. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Christopher Jefferson, Markus Pfeiffer, Rebecca Waldecker Orbital Graphs. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Christopher Jefferson, Markus Pfeiffer, Rebecca Waldecker New refiners for permutation group search. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David A. Cohen, Christopher Jefferson, Karen E. Petrie A Theoretical Framework for Constraint Propagator Triggering. Search on Bibsonomy SOCS The full citation details ... 2016 DBLP  BibTeX  RDF
1Ian P. Gent, Christopher Jefferson, Steve Linton, Ian Miguel, Peter Nightingale Generating custom propagators for arbitrary constraints. Search on Bibsonomy Artif. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Peter Nightingale, Ian Philip Gent, Christopher Jefferson, Ian Miguel Short and Long Supports for Constraint Propagation. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Thomas W. Kelsey, Lars Kotthoff, Christopher Jefferson, Stephen A. Linton, Ian Miguel, Peter Nightingale, Ian P. Gent Qualitative modelling via constraint programming. Search on Bibsonomy Constraints The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ozgur Akgun, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale Breaking Conditional Symmetry in Automated Constraint Modelling with CONJURE. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ian P. Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Glenna F. Nightingale, Peter Nightingale Discriminating Instance Generation for Automated Constraint Model Selection. Search on Bibsonomy CP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Peter Nightingale, Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination. Search on Bibsonomy CP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christopher Jefferson, Peter Jeavons 0001, Martin James Green, Marc R. C. van Dongen Representing and solving finite-domain constraint problems using systems of polynomials. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Peter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel Short and Long Supports for Constraint Propagation. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ozgur Akgun, Alan M. Frisch, Ian P. Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale Automated Symmetry Breaking and Model Selection in Conjure. Search on Bibsonomy CP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Christopher Jefferson, Peter Nightingale Extending Simple Tabular Reduction with Short Supports. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Thomas W. Kelsey, Lars Kotthoff, Christopher Jefferson, Stephen A. Linton, Ian Miguel, Peter Nightingale, Ian P. Gent Qualitative Modelling via Constraint Programming: Past, Present and Future Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Andreas Distler, Christopher Jefferson, Tom Kelsey, Lars Kotthoff The Semigroups of Order 10. Search on Bibsonomy CP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dharini Balasubramaniam, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale An automated approach to generating efficient constraint solvers. Search on Bibsonomy ICSE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ozgur Akgun, Alan M. Frisch, Brahim Hnich, Christopher Jefferson, Ian Miguel Conjure Revisited: Towards Automated Constraint Modelling Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Ian P. Gent, Christopher Jefferson, Lars Kotthoff, Ian Miguel Modelling Constraint Solver Architecture Design as a Constraint Problem Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Christopher Jefferson Modern constraint solving by propagation. Search on Bibsonomy MEMOCODE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christopher Jefferson, Wendy Moncur, Karen E. Petrie Combination: automated generation of puzzles with constraints. Search on Bibsonomy SAC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dharini Balasubramaniam, Lakshitha de Silva, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale Dominion: An Architecture-Driven Approach to Generating Efficient Constraint Solvers. Search on Bibsonomy WICSA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ozgur Akgun, Ian Miguel, Christopher Jefferson, Alan M. Frisch, Brahim Hnich Extensible Automated Constraint Modelling. Search on Bibsonomy AAAI The full citation details ... 2011 DBLP  BibTeX  RDF
1Christopher Jefferson, Karen E. Petrie Automatic Generation of Constraints for Partial Symmetry Breaking. Search on Bibsonomy CP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Peter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christopher Jefferson, Neil C. A. Moore, Peter Nightingale, Karen E. Petrie Implementing logical connectives in constraint programming. Search on Bibsonomy Artif. Intell. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ian P. Gent, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Neil C. A. Moore, Peter Nightingale, Karen E. Petrie Learning When to Use Lazy Learning in Constraint Solving. Search on Bibsonomy ECAI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale Generating Special-Purpose Stateless Propagators for Arbitrary Constraints. Search on Bibsonomy CP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Andrew Grayland, Christopher Jefferson, Ian Miguel, Colva M. Roney-Dougal Minimal ordering constraints for some families of variable symmetries. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Christopher Jefferson, Serdar Kadioglu, Karen E. Petrie, Meinolf Sellmann, Stanislav Zivny Same-Relation Constraints. Search on Bibsonomy CP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Andrea Rendl, Ian Miguel, Ian P. Gent, Christopher Jefferson Automatically Enhancing Constraint Model Instances during Tailoring. Search on Bibsonomy SARA The full citation details ... 2009 DBLP  BibTeX  RDF
1Alan M. Frisch, Warwick Harvey, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel Essence : A constraint language for specifying combinatorial problems. Search on Bibsonomy Constraints The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Specification languages, Constraint programming, Combinatorial problems, Constraint languages, Constraint modelling
1Karen E. Petrie, Christopher Jefferson Efficiently Solving Problems Where the Solutions Form a Group. Search on Bibsonomy CP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Martin James Green, Christopher Jefferson Structural Tractability of Propagated Constraints. Search on Bibsonomy CP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ian P. Gent, Christopher Jefferson, Tom Kelsey, Inês Lynce, Ian Miguel, Peter Nightingale, Barbara M. Smith, Armagan Tarim Search in the patience game 'Black Hole'. Search on Bibsonomy AI Commun. The full citation details ... 2007 DBLP  BibTeX  RDF
1Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale Data Structures for Generalised Arc Consistency for Extensional Constraints. Search on Bibsonomy AAAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Alan M. Frisch, Matthew Grum, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Christopher Jefferson Representations in constraint programming. Search on Bibsonomy 2007   RDF
1Christopher Jefferson, Angela Miguel, Ian Miguel, Armagan Tarim Modelling and solving English Peg Solitaire. Search on Bibsonomy Computers & OR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1David A. Cohen, Peter Jeavons 0001, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith Symmetry Definitions for Constraint Satisfaction Problems. Search on Bibsonomy Constraints The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Symmetry, Constraint satisfaction problems
1David A. Cohen, Peter Jeavons 0001, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith Constraint Symmetry and Solution Symmetry. Search on Bibsonomy AAAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Ian P. Gent, Christopher Jefferson, Ian Miguel Minion: A Fast Scalable Constraint Solver. Search on Bibsonomy ECAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Ian P. Gent, Christopher Jefferson, Ian Miguel Watched Literals for Constraint Propagation in Minion. Search on Bibsonomy CP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1David A. Cohen, Peter Jeavons 0001, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith Symmetry Definitions for Constraint Satisfaction Problems. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel The Rules of Constraint Modelling. Search on Bibsonomy IJCAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Alan M. Frisch, Christopher Jefferson, Ian Miguel Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern. Search on Bibsonomy ECAI The full citation details ... 2004 DBLP  BibTeX  RDF
1Christopher Jefferson Choosing Efficient Representations of Abstract Variables. Search on Bibsonomy CP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch, Christopher Jefferson, Ian Miguel Constraints for Breaking More Row and Column Symmetries. Search on Bibsonomy CP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #57 of 57 (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