Barbara M. Smith

Brahim Hnich, Barbara M. Smith, Toby Walsh: Dual Modelling of Permutation and Injection Problems. CoRR abs/1107.0038 (2011)

Barbara M. Smith, Jean-François Puget: Constraint models for graceful graphs. Constraints 15(1): 64-92 (2010)

Tim Januschowski, Barbara M. Smith, Marc R. C. van Dongen: Symmetry Breaking with Polynomial Delay. CoRR abs/1012.5585 (2010)

J. Christopher Beck, Barbara M. Smith: Introduction to the special volume on constraint programming, artificial intelligence, and operations research. Annals OR 171(1): 1-2 (2009)

Hadrien Cambazard, Barry O'Sullivan, Barbara M. Smith: A constraint-based approach to Enigma 1225. Computers & Mathematics with Applications 58(8): 1487-1497 (2009)

Barbara M. Smith: Observations on Symmetry Breaking. CP 2009: 5

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)

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)

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)

Barbara M. Smith, Stefano Bistarelli, Barry O'Sullivan: Constraint Symmetry for the Soft CSP. CP 2007: 872-879

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)

Brahim Hnich, Steven David Prestwich, Evgeny Selensky, Barbara M. Smith: Constraint Models for the Covering Test Problem. Constraints 11(2-3): 199-219 (2006)

David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith: Constraint Symmetry and Solution Symmetry. AAAI 2006: 1589-1592

Barbara M. Smith: Constraint Programming Models for Graceful Graphs. CP 2006: 545-559

J. Christopher Beck, Barbara M. Smith (Eds.): 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. Lecture Notes in Computer Science 3990, Springer 2006, isbn 3-540-34306-7

David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith: Symmetry Definitions for Constraint Satisfaction Problems. CP 2005: 17-31

Ian P. Gent, Tom Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith: Conditional Symmetry Breaking. CP 2005: 256-270

Barbara M. Smith: Caching Search States in Permutation Problems. CP 2005: 637-651

Barbara M. Smith: Symmetry and Search in a Network Design Problem. CPAIOR 2005: 336-350

Barbara M. Smith, Paula Sturdy: Value Ordering for Finding All Solutions. IJCAI 2005: 311-316

Alan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh: Transforming and Refining Abstract Constraint Specifications. SARA 2005: 76-91

Brahim Hnich, Toby Walsh, Barbara M. Smith: Dual Modelling of Permutation and Injection Problems. J. Artif. Intell. Res. (JAIR) 21: 357-391 (2004)

Barbara M. Smith, Karen E. Petrie, Ian P. Gent: Models and Symmetry Breaking for 'Peaceable Armies of Queens'. CPAIOR 2004: 271-286

Ian P. Gent, Patrick Prosser, Barbara M. Smith, Wu Wei: Supertree Construction with Constraint Programming. CP 2003: 837-841

Karen E. Petrie, Barbara M. Smith: Symmetry Breaking in Graceful Graphs. CP 2003: 930-934

Barbara M. Smith: A Dual Graph Translation of a Problem in 'Life'. CP 2002: 402-414

Iain McDonald, Barbara M. Smith: Partial Symmetry Breaking. CP 2002: 431-445

Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh: Random Constraint Satisfaction: Flaws and Structure. Constraints 6(4): 345-372 (2001)

Barbara M. Smith: Constructing an asymptotic phase transition in random binary constraint satisfaction problems. Theor. Comput. Sci. 265(1-2): 265-283 (2001)

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

Barbara M. Smith: Dual Models of Permutation Problems. CP 2001: 615-619

Elias Oliveira, Barbara M. Smith: A Combined Constraint-Based Search Method for Single-Track Railway Scheduling Problem. EPIA 2001: 371-378

Barbara M. Smith, Kostas Stergiou, Toby Walsh: Using Auxiliary Variables and Implied Constraints to Model Non-Binary Problems. AAAI/IAAI 2000: 182-187

Ian P. Gent, Barbara M. Smith: Symmetry Breaking in Constraint Programming. ECAI 2000: 599-603

Sally C. Brailsford, Chris N. Potts, Barbara M. Smith: Constraint satisfaction problems: Algorithms and applications. European Journal of Operational Research 119(3): 557-581 (1999)

Barbara M. Smith: The Brélaz Heuristic and Optimal Static Orderings. CP 1999: 405-418

Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh: Random Constraint Satisfaction: Theory Meets Practice. CP 1998: 325-339

Barbara M. Smith, Stuart A. Grant: Trying Harder to Fail First. ECAI 1998: 249-253

Barbara M. Smith, Stuart A. Grant: Modelling Exceptionally Hard Constraint Satisfaction Problems. CP 1997: 182-195

Barbara M. Smith, Martin E. Dyer: Locating the Phase Transition in Binary Constraint Satisfaction Problems. Artif. Intell. 81(1-2): 155-181 (1996)

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)

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)

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

Stuart A. Grant, Barbara M. Smith: The Arc and Path Consistency Phase Transitions. CP 1996: 541-542

Stuart A. Grant, Barbara M. Smith: The Phase Transition Behaviour of Maintaining Arc Consistency. ECAI 1996: 175-179

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

Barbara M. Smith: In Search of Exceptionally Difficult Constraint Satisfaction Problems. Constraint Processing, Selected Papers 1995: 139-155

Barbara M. Smith, Stuart A. Grant: Sparse Constraint Graphs and Exceptionally Hard Problems. IJCAI (1) 1995: 646-654

Barbara M. Smith: The Phase Transition and the Mushy Region in Constraint Satisfaction Problems. ECAI 1994: 100-104

Barbara M. Smith: How to Solve the Zebra Problem, or Path Consistency the Easy Way. ECAI 1992: 36-37