Barbara M. Smith

2008
43	EE	Armagan Tarim, Barbara M. Smith: Constraint programming for computing non-stationary (R, S) inventory policies. European Journal of Operational Research 189(3): 1004-1021 (2008)
2007
42	EE	Barbara M. Smith, Stefano Bistarelli, Barry O'Sullivan: Constraint Symmetry for the Soft CSP. CP 2007: 872-879
41	EE	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)
40	EE	Yat Chiu Law, Jimmy Ho-Man Lee, Barbara M. Smith: Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems. Constraints 12(4): 469-505 (2007)
2006
39		J. Christopher Beck, Barbara M. Smith: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings Springer 2006
38		David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith: Constraint Symmetry and Solution Symmetry. AAAI 2006
37	EE	Barbara M. Smith: Constraint Programming Models for Graceful Graphs. CP 2006: 545-559
36	EE	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)
35	EE	Brahim Hnich, Steven David Prestwich, Evgeny Selensky, Barbara M. Smith: Constraint Models for the Covering Test Problem. Constraints 11(2-3): 199-219 (2006)
2005
34	EE	David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith: Symmetry Definitions for Constraint Satisfaction Problems. CP 2005: 17-31
33	EE	Ian P. Gent, Tom Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith: Conditional Symmetry Breaking. CP 2005: 256-270
32	EE	Barbara M. Smith: Caching Search States in Permutation Problems. CP 2005: 637-651
31	EE	Barbara M. Smith: Symmetry and Search in a Network Design Problem. CPAIOR 2005: 336-350
30	EE	Barbara M. Smith, Paula Sturdy: Value Ordering for Finding All Solutions. IJCAI 2005: 311-316
29	EE	Alan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh: Transforming and Refining Abstract Constraint Specifications. SARA 2005: 76-91
2004
28	EE	Barbara M. Smith, Karen E. Petrie, Ian P. Gent: Models and Symmetry Breaking for 'Peaceable Armies of Queens'. CPAIOR 2004: 271-286
27	EE	Brahim Hnich, Toby Walsh, Barbara M. Smith: Dual Modelling of Permutation and Injection Problems. J. Artif. Intell. Res. (JAIR) 21: 357-391 (2004)
2003
26	EE	Ian P. Gent, Patrick Prosser, Barbara M. Smith, Wu Wei: Supertree Construction with Constraint Programming. CP 2003: 837-841
25	EE	Karen E. Petrie, Barbara M. Smith: Symmetry Breaking in Graceful Graphs. CP 2003: 930-934
2002
24	EE	Barbara M. Smith: A Dual Graph Translation of a Problem in 'Life'. CP 2002: 402-414
23	EE	Iain McDonald, Barbara M. Smith: Partial Symmetry Breaking. CP 2002: 431-445
2001
22	EE	Ian P. Gent, Robert W. Irving, David Manlove, Patrick Prosser, Barbara M. Smith: A Constraint Programming Approach to the Stable Marriage Problem. CP 2001: 225-239
21	EE	Barbara M. Smith: Dual Models of Permutation Problems. CP 2001: 615-619
20	EE	Elias Oliveira, Barbara M. Smith: A Combined Constraint-Based Search Method for Single-Track Railway Scheduling Problem. EPIA 2001: 371-378
19		Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh: Random Constraint Satisfaction: Flaws and Structure. Constraints 6(4): 345-372 (2001)
18	EE	Barbara M. Smith: Constructing an asymptotic phase transition in random binary constraint satisfaction problems. Theor. Comput. Sci. 265(1-2): 265-283 (2001)
2000
17		Barbara M. Smith, Kostas Stergiou, Toby Walsh: Using Auxiliary Variables and Implied Constraints to Model Non-Binary Problems. AAAI/IAAI 2000: 182-187
16		Ian P. Gent, Barbara M. Smith: Symmetry Breaking in Constraint Programming. ECAI 2000: 599-603
1999
15		Barbara M. Smith: The Brélaz Heuristic and Optimal Static Orderings. CP 1999: 405-418
1998
14	EE	Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh: Random Constraint Satisfaction: Theory Meets Practice. CP 1998: 325-339
13		Barbara M. Smith, Stuart A. Grant: Trying Harder to Fail First. ECAI 1998: 249-253
1997
12		Barbara M. Smith, Stuart A. Grant: Modelling Exceptionally Hard Constraint Satisfaction Problems. CP 1997: 182-195
1996
11		Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh: An Empirical Study of Dynamic Variable Ordering Heuristics for the Constraint Satisfaction Problem. CP 1996: 179-193
10		Stuart A. Grant, Barbara M. Smith: The Arc and Path Consistency Phase Transitions. CP 1996: 541-542
9		Stuart A. Grant, Barbara M. Smith: The Phase Transition Behaviour of Maintaining Arc Consistency. ECAI 1996: 175-179
8	EE	Barbara M. Smith, Martin E. Dyer: Locating the Phase Transition in Binary Constraint Satisfaction Problems. Artif. Intell. 81(1-2): 155-181 (1996)
7	EE	Sally C. Brailsford, Peter M. Hubbard, Barbara M. Smith, H. Paul Williams: Organizing a social event - A difficult problem of combinatorial optimization. Computers & OR 23(9): 845-856 (1996)
6		Barbara M. Smith, Sally C. Brailsford, Peter M. Hubbard, H. Paul Williams: The Progressive Party Problem: Integer Linear Programming and Constraint Programming Compared. Constraints 1(1/2): 119-138 (1996)
1995
5		Barbara M. Smith, Sally C. Brailsford, Peter M. Hubbard, H. Paul Williams: The Progressive Party Problem: Integer Linear Programming and Constraint Programming Compared. CP 1995: 36-52
4		Barbara M. Smith: In Search of Exceptionally Difficult Constraint Satisfaction Problems. Constraint Processing, Selected Papers 1995: 139-155
3		Barbara M. Smith, Stuart A. Grant: Sparse Constraint Graphs and Exceptionally Hard Problems. IJCAI (1) 1995: 646-654
1994
2		Barbara M. Smith: The Phase Transition and the Mushy Region in Constraint Satisfaction Problems. ECAI 1994: 100-104
1992
1		Barbara M. Smith: How to Solve the Zebra Problem, or Path Consistency the Easy Way. ECAI 1992: 36-37

Coauthor Index

1	J. Christopher Beck	[39]
2	Stefano Bistarelli	[42]
3	Sally C. Brailsford	[5] [6] [7]
4	David A. Cohen	[34] [36] [38]
5	Martin E. Dyer	[8]
6	Alan M. Frisch	[29]
7	Ian P. Gent	[11] [16] [19] [22] [26] [28] [33] [41]
8	Stuart A. Grant	[3] [9] [10] [12] [13]
9	Brahim Hnich	[27] [29] [35]
10	Peter M. Hubbard	[5] [6] [7]
11	Robert W. Irving	[22]
12	Peter Jeavons (Peter G. Jeavons)	[34] [36] [38]
13	Christopher Jefferson	[34] [36] [38] [41]
14	Tom Kelsey	[33] [41]
15	Yat Chiu Law	[40]
16	Jimmy Ho-Man Lee (J. H. M. Lee)	[40]
17	Steve Linton	[33]
18	Inês Lynce	[41]
19	Ewan MacIntyre	[11] [14] [19]
20	David Manlove	[22]
21	Iain McDonald	[23] [33]
22	Ian Miguel	[29] [33] [41]
23	Peter Nightingale	[41]
24	Barry O'Sullivan	[42]
25	Elias Oliveira	[20]
26	Karen E. Petrie	[25] [28] [34] [36] [38]
27	Steven David Prestwich	[35]
28	Patrick Prosser	[11] [14] [19] [22] [26]
29	Evgeny Selensky	[35]
30	Kostas Stergiou	[17]
31	Paula Sturdy	[30]
32	Armagan Tarim	[41] [43]
33	Toby Walsh	[11] [14] [17] [19] [27] [29]
34	Wu Wei	[26]
35	H. Paul Williams	[5] [6] [7]

Colors in the list of coauthors