Bus crew scheduling using mathematical programming. - Barbara M. Smith (1986)

Impacs - A bus crew scheduling system using integer programming. - Barbara M. Smith (Math. Program., 1988)

How to Solve the Zebra Problem, or Path Consistency the Easy Way. - Barbara M. Smith (ECAI, 1992)

The Phase Transition and the Mushy Region in Constraint Satisfaction Problems. - Barbara M. Smith (ECAI, 1994)

In Search of Exceptionally Difficult Constraint Satisfaction Problems. - Barbara M. Smith (Constraint Processing, Selected Papers, 1995)

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

The Arc and Path Consistency Phase Transitions. - Stuart A. Grant; Barbara M. Smith (CP, 1996)

An Empirical Study of Dynamic Variable Ordering Heuristics for the Constraint Satisfaction Problem. - Ian P. Gent; Ewan MacIntyre; Patrick Prosser; Barbara M. Smith; Toby Walsh (CP, 1996)

The Phase Transition Behaviour of Maintaining Arc Consistency. - Stuart A. Grant; Barbara M. Smith (ECAI, 1996)

Locating the Phase Transition in Binary Constraint Satisfaction Problems. - Barbara M. Smith; Martin E. Dyer (Artif. Intell., 1996)

The Progressive Party Problem: Integer Linear Programming and Constraint Programming Compared. - Barbara M. Smith; Sally C. Brailsford; Peter M. Hubbard; H. Paul Williams (Constraints An Int. J., 1996)

Organizing a social event - A difficult problem of combinatorial optimization. - Sally C. Brailsford; Peter M. Hubbard; Barbara M. Smith; H. Paul Williams (Comput. Oper. Res., 1996)

Modelling Exceptionally Hard Constraint Satisfaction Problems. - Barbara M. Smith; Stuart A. Grant (CP, 1997)

Succeed-first or Fail-first: A Case Study in Variable and Value Ordering. - Barbara M. Smith (PACT, 1997)

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

A constraint programming pre-processor for a bus driver scheduling system. - Barbara M. Smith; Colin J. Layfield; Anthony Wren (Constraint Programming and Large Scale Discrete Optimization, 1998)

Trying Harder to Fail First. - Barbara M. Smith; Stuart A. Grant (ECAI, 1998)

The Brélaz Heuristic and Optimal Static Orderings. - Barbara M. Smith (CP, 1999)

Constraint satisfaction problems: Algorithms and applications. - Sally C. Brailsford; Chris N. Potts; Barbara M. Smith (Eur. J. Oper. Res., 1999)

Using Auxiliary Variables and Implied Constraints to Model Non-Binary Problems. - Barbara M. Smith; Kostas Stergiou 001; Toby Walsh (AAAI/IAAI, 2000)

Symmetry Breaking in Constraint Programming. - Ian P. Gent; Barbara M. Smith (ECAI, 2000)

Constructing Driver Schedules using Iterative Repair. - Suniel D. Curtis; Barbara M. Smith; Anthony Wren (PACPL, 2000)

A Constraint Programming Approach to the Stable Marriage Problem. - Ian P. Gent; Robert W. Irving; David F. Manlove; Patrick Prosser; Barbara M. Smith (CP, 2001)

Dual Models of Permutation Problems. - Barbara M. Smith (CP, 2001)

A Combined Constraint-Based Search Method for Single-Track Railway Scheduling Problem. - Elias Oliveira; Barbara M. Smith (EPIA, 2001)

Random Constraint Satisfaction: Flaws and Structure. - Ian P. Gent; Ewan MacIntyre; Patrick Prosser; Barbara M. Smith; Toby Walsh (Constraints An Int. J., 2001)

Constructing an asymptotic phase transition in random binary constraint satisfaction problems. - Barbara M. Smith (Theor. Comput. Sci., 2001)

Partial Symmetry Breaking. - Iain McDonald; Barbara M. Smith (CP, 2002)

A Dual Graph Translation of a Problem in 'Life'. - Barbara M. Smith (CP, 2002)

Supertree Construction with Constraint Programming. - Ian P. Gent; Patrick Prosser; Barbara M. Smith; Wu Wei (CP, 2003)

Symmetry Breaking in Graceful Graphs. - Karen E. Petrie; Barbara M. Smith (CP, 2003)

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

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

Conditional Symmetry Breaking. - Ian P. Gent; Tom W. Kelsey; Steve Linton; Iain McDonald; Ian Miguel; Barbara M. Smith (CP, 2005)

Caching Search States in Permutation Problems. - Barbara M. Smith (CP, 2005)

Symmetry and Search in a Network Design Problem. - Barbara M. Smith (CPAIOR, 2005)

Value Ordering for Finding All Solutions. - Barbara M. Smith; Paula Sturdy (IJCAI, 2005)

Transforming and Refining Abstract Constraint Specifications. - Alan M. Frisch; Brahim Hnich; Ian Miguel; Barbara M. Smith; Toby Walsh (SARA, 2005)

Constraint Symmetry and Solution Symmetry. - David A. Cohen; Peter Jeavons 001; Christopher Jefferson; Karen E. Petrie; Barbara M. Smith (AAAI, 2006)

Constraint Programming Models for Graceful Graphs. - Barbara M. Smith (CP, 2006)

Symmetry Definitions for Constraint Satisfaction Problems. - David A. Cohen; Peter Jeavons 001; Christopher Jefferson; Karen E. Petrie; Barbara M. Smith (Constraints An Int. J., 2006)

Constraint Models for the Covering Test Problem. - Brahim Hnich; Steven D. Prestwich; Evgeny Selensky; Barbara M. Smith (Constraints An Int. J., 2006)

Modelling. - Barbara M. Smith (Handbook of Constraint Programming, 2006)

Constraint Symmetry for the Soft CSP. - Barbara M. Smith; Stefano Bistarelli; Barry O'Sullivan (CP, 2007)

Search in the patience game 'Black Hole'. - Ian P. Gent; Christopher Jefferson; Tom W. Kelsey; Inês Lynce; Ian Miguel; Peter Nightingale; Barbara M. Smith; Armagan Tarim (AI Commun., 2007)

Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems. - Yat Chiu Law; Jimmy Ho-Man Lee; Barbara M. Smith (Constraints An Int. J., 2007)

Constraint programming for computing non-stationary (R, S) inventory policies. - Armagan Tarim; Barbara M. Smith (Eur. J. Oper. Res., 2008)

Observations on Symmetry Breaking. - Barbara M. Smith (CP, 2009)

Introduction to the special volume on constraint programming, artificial intelligence, and operations research. - J. Christopher Beck; Barbara M. Smith (Ann. Oper. Res., 2009)

A constraint-based approach to Enigma 1225. - Hadrien Cambazard; Barry O'Sullivan; Barbara M. Smith (Comput. Math. Appl., 2009)

Constraint models for graceful graphs. - Barbara M. Smith; Jean-François Puget (Constraints An Int. J., 2010)

Symmetry Breaking with Polynomial Delay - Tim Januschowski; Barbara M. Smith; Marc R. C. van Dongen (CoRR, 2010)