Christopher Jefferson

	2011
29		Ozgur Akgun, Ian Miguel, Christopher Jefferson, Alan M. Frisch, Brahim Hnich: Extensible Automated Constraint Modelling. AAAI 2011
28		Christopher Jefferson, Karen E. Petrie: Automatic Generation of Constraints for Partial Symmetry Breaking. CP 2011: 729-743
27		Peter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel: Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints. IJCAI 2011: 623-628
26		Christopher Jefferson: Modern constraint solving by propagation. MEMOCODE 2011: 143
25		Christopher Jefferson, Wendy Moncur, Karen E. Petrie: Combination: automated generation of puzzles with constraints. SAC 2011: 907-912
24		Ozgur Akgun, Alan M. Frisch, Brahim Hnich, Christopher Jefferson, Ian Miguel: Conjure Revisited: Towards Automated Constraint Modelling CoRR abs/1109.1774: (2011)
23		Ian P. Gent, Christopher Jefferson, Lars Kotthoff, Ian Miguel: Modelling Constraint Solver Architecture Design as a Constraint Problem CoRR abs/1110.6290: (2011)
	2010
22		Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale: Generating Special-Purpose Stateless Propagators for Arbitrary Constraints. CP 2010: 206-220
21		Ian 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. ECAI 2010: 873-878
20		Christopher Jefferson, Neil C. A. Moore, Peter Nightingale, Karen E. Petrie: Implementing logical connectives in constraint programming. Artif. Intell. 174(16-17): 1407-1429 (2010)
	2009
19		Christopher Jefferson, Serdar Kadioglu, Karen E. Petrie, Meinolf Sellmann, Stanislav Zivny: Same-Relation Constraints. CP 2009: 470-485
18		Andrea Rendl, Ian Miguel, Ian P. Gent, Christopher Jefferson: Automatically Enhancing Constraint Model Instances during Tailoring. SARA 2009
17		Andrew Grayland, Christopher Jefferson, Ian Miguel, Colva M. Roney-Dougal: Minimal ordering constraints for some families of variable symmetries. Ann. Math. Artif. Intell. 57(1): 75-102 (2009)
	2008
16		Martin J. Green, Christopher Jefferson: Structural Tractability of Propagated Constraints. CP 2008: 372-386
15		Karen E. Petrie, Christopher Jefferson: Efficiently Solving Problems Where the Solutions Form a Group. CP 2008: 529-533
14		Alan M. Frisch, Warwick Harvey, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel: Essence : A constraint language for specifying combinatorial problems. Constraints 13(3): 268-306 (2008)
	2007
13		Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale: Data Structures for Generalised Arc Consistency for Extensional Constraints. AAAI 2007: 191-197
12		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. IJCAI 2007: 80-87
11		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'. AI Commun. 20(3): 211-226 (2007)
	2006
10		David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith: Constraint Symmetry and Solution Symmetry. AAAI 2006: 1589-1592
9		Ian P. Gent, Christopher Jefferson, Ian Miguel: Watched Literals for Constraint Propagation in Minion. CP 2006: 182-197
8		Ian P. Gent, Christopher Jefferson, Ian Miguel: Minion: A Fast Scalable Constraint Solver. ECAI 2006: 98-102
7		Christopher Jefferson, Angela Miguel, Ian Miguel, Armagan Tarim: Modelling and solving English Peg Solitaire. Computers & OR 33(10): 2935-2959 (2006)
6		David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith: Symmetry Definitions for Constraint Satisfaction Problems. Constraints 11(2-3): 115-137 (2006)
	2005
5		David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith: Symmetry Definitions for Constraint Satisfaction Problems. CP 2005: 17-31
4		Alan M. Frisch, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel: The Rules of Constraint Modelling. IJCAI 2005: 109-116
	2004
3		Christopher Jefferson: Choosing Efficient Representations of Abstract Variables. CP 2004: 799
2		Alan M. Frisch, Christopher Jefferson, Ian Miguel: Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern. ECAI 2004: 171-175
	2003
1		Alan M. Frisch, Christopher Jefferson, Ian Miguel: Constraints for Breaking More Row and Column Symmetries. CP 2003: 318-332

Coauthor Index

1	Ozgur Akgun	[24] [29]
2	David A. Cohen	[5] [6] [10]
3	Alan M. Frisch	[1] [2] [4] [12] [14] [24] [29]
4	Ian P. Gent	[8] [9] [11] [13] [18] [21] [22] [23] [27]
5	Andrew Grayland	[17]
6	Martin J. Green	[16]
7	Matthew Grum	[12]
8	Warwick Harvey	[14]
9	Bernadette Martínez Hernández	[4] [12] [14]
10	Brahim Hnich	[24] [29]
11	Peter Jeavons (Peter G. Jeavons)	[5] [6] [10]
12	Serdar Kadioglu	[19]
13	Tom Kelsey	[11]
14	Lars Kotthoff	[21] [23]
15	Inês Lynce	[11]
16	Angela Miguel	[7]
17	Ian Miguel	[1] [2] [4] [7] [8] [9] [11] [12] [13] [14] [17] [18] [21] [22] [23] [24] [27] [29]
18	Wendy Moncur	[25]
19	Neil C. A. Moore	[20] [21]
20	Peter Nightingale	[11] [13] [20] [21] [22] [27]
21	Karen E. Petrie	[5] [6] [10] [15] [19] [20] [21] [25] [28]
22	Andrea Rendl	[18]
23	Colva M. Roney-Dougal	[17]
24	Meinolf Sellmann	[19]
25	Barbara M. Smith	[5] [6] [10] [11]
26	Armagan Tarim (S. Armagan Tarim)	[7] [11]
27	Stanislav Zivny	[19]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page