Search the dblp DataBase

Publications of Author

1. David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith
   Constraint Symmetry and Solution Symmetry. [Citation Graph (0, 0)][DBLP]
   AAAI, 2006, pp:- [Conf]
   
2. David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith
   Symmetry Definitions for Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
   CP, 2005, pp:17-31 [Conf]
   
3. Alan M. Frisch, Christopher Jefferson, Ian Miguel
   Constraints for Breaking More Row and Column Symmetries. [Citation Graph (0, 0)][DBLP]
   CP, 2003, pp:318-332 [Conf]
   
4. Ian P. Gent, Christopher Jefferson, Ian Miguel
   Watched Literals for Constraint Propagation in Minion. [Citation Graph (0, 0)][DBLP]
   CP, 2006, pp:182-197 [Conf]
   
5. Christopher Jefferson
   Choosing Efficient Representations of Abstract Variables. [Citation Graph (0, 0)][DBLP]
   CP, 2004, pp:799- [Conf]
   
6. Ian P. Gent, Christopher Jefferson, Ian Miguel
   Minion: A Fast Scalable Constraint Solver. [Citation Graph (0, 0)][DBLP]
   ECAI, 2006, pp:98-102 [Conf]
   
7. Alan M. Frisch, Christopher Jefferson, Ian Miguel
   Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern. [Citation Graph (0, 0)][DBLP]
   ECAI, 2004, pp:171-175 [Conf]
   
8. Alan M. Frisch, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel
   The Rules of Constraint Modelling. [Citation Graph (0, 0)][DBLP]
   IJCAI, 2005, pp:109-116 [Conf]
   
9. Alan M. Frisch, Matthew Grum, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel
   The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems. [Citation Graph (0, 0)][DBLP]
   IJCAI, 2007, pp:80-87 [Conf]
   
10. David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith
    Symmetry Definitions for Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
    Constraints, 2006, v:11, n:2-3, pp:115-137 [Journal]
    
11. Christopher Jefferson, Angela Miguel, Ian Miguel, Armagan Tarim
    Modelling and solving English Peg Solitaire. [Citation Graph (0, 0)][DBLP]
    Computers & OR, 2006, v:33, n:10, pp:2935-2959 [Journal]
    
12. Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
    Data Structures for Generalised Arc Consistency for Extensional Constraints. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:191-197 [Conf]
    
13. Ian 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'. [Citation Graph (0, 0)][DBLP]
    AI Commun., 2007, v:20, n:3, pp:211-226 [Journal]
    
14. 
    Efficiently Solving Problems Where the Solutions Form a Group. [Citation Graph (, )][DBLP]
    
    
15. 
    Structural Tractability of Propagated Constraints. [Citation Graph (, )][DBLP]
    
    
16. 
    Same-Relation Constraints. [Citation Graph (, )][DBLP]
    
    
17. 
    Learning When to Use Lazy Learning in Constraint Solving. [Citation Graph (, )][DBLP]
    
    
18. 
    Automatically Enhancing Constraint Model Instances during Tailoring. [Citation Graph (, )][DBLP]
    
    
19. 
    Minimal ordering constraints for some families of variable symmetries. [Citation Graph (, )][DBLP]
    
    
20. 
    Essence : A constraint language for specifying combinatorial problems. [Citation Graph (, )][DBLP]