| 2009 | CP | Observations on Symmetry Breaking. | Barbara M. Smith |
| 2007 | CP | Constraint Symmetry for the Soft CSP. | Barbara M. Smith, Stefano Bistarelli, Barry O'Sullivan |
| 2006 | AAAI | Constraint Symmetry and Solution Symmetry. | David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith |
| 2006 | CP | Constraint Programming Models for Graceful Graphs. | Barbara M. Smith |
| 2005 | CP | Symmetry Definitions for Constraint Satisfaction Problems. | David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith |
| 2005 | CP | Conditional Symmetry Breaking. | Ian P. Gent, Tom W. Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith |
| 2005 | CP | Caching Search States in Permutation Problems. | Barbara M. Smith |
| 2005 | CPAIOR | Symmetry and Search in a Network Design Problem. | Barbara M. Smith |
| 2005 | IJCAI | Value Ordering for Finding All Solutions. | Barbara M. Smith, Paula Sturdy |
| 2004 | CPAIOR | Models and Symmetry Breaking for 'Peaceable Armies of Queens'. | Barbara M. Smith, Karen E. Petrie, Ian P. Gent |
| 2003 | CP | Supertree Construction with Constraint Programming. | Ian P. Gent, Patrick Prosser, Barbara M. Smith, Wu Wei |
| 2003 | CP | Symmetry Breaking in Graceful Graphs. | Karen E. Petrie, Barbara M. Smith |
| 2002 | CP | Partial Symmetry Breaking. | Iain McDonald, Barbara M. Smith |
| 2002 | CP | A Dual Graph Translation of a Problem in 'Life'. | Barbara M. Smith |
| 2001 | CP | A Constraint Programming Approach to the Stable Marriage Problem. | Ian P. Gent, Robert W. Irving, David F. Manlove, Patrick Prosser, Barbara M. Smith |
| 2001 | CP | Dual Models of Permutation Problems. | Barbara M. Smith |
| 2001 | EPIA | A Combined Constraint-Based Search Method for Single-Track Railway Scheduling Problem. | Elias Oliveira, Barbara M. Smith |
| 2000 | AAAI | Using Auxiliary Variables and Implied Constraints to Model Non-Binary Problems. | Barbara M. Smith, Kostas Stergiou, Toby Walsh |
| 2000 | ECAI | Symmetry Breaking in Constraint Programming. | Ian P. Gent, Barbara M. Smith |
| 1999 | CP | The Brlaz Heuristic and Optimal Static Orderings. | Barbara M. Smith |
| 1998 | CP | Random Constraint Satisfaction: Theory Meets Practice. | Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh |
| 1998 | ECAI | Trying Harder to Fail First. | Barbara M. Smith, Stuart A. Grant |
| 1997 | CP | Modelling Exceptionally Hard Constraint Satisfaction Problems. | Barbara M. Smith, Stuart A. Grant |
| 1996 | CP | 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 |
| 1996 | CP | The Arc and Path Consistency Phase Transitions. | Stuart A. Grant, Barbara M. Smith |
| 1996 | ECAI | The Phase Transition Behaviour of Maintaining Arc Consistency. | Stuart A. Grant, Barbara M. Smith |
| 1995 | CP | In Search of Exceptionally Difficult Constraint Satisfaction Problems. | Barbara M. Smith |
| 1995 | CP | The Progressive Party Problem: Integer Linear Programming and Constraint Programming Compared. | Barbara M. Smith, Sally C. Brailsford, Peter M. Hubbard, H. Paul Williams |
| 1995 | IJCAI | Sparse Constraint Graphs and Exceptionally Hard Problems. | Barbara M. Smith, Stuart A. Grant |
| 1994 | ECAI | The Phase Transition and the Mushy Region in Constraint Satisfaction Problems. | Barbara M. Smith |
| 1992 | ECAI | How to Solve the Zebra Problem, or Path Consistency the Easy Way. | Barbara M. Smith |