Barbara M. Smith

Publication Activity (10 Years)

Years Active: 1988-2011
Publications (10 Years): 0

University of Leeds, UK (PHD)

Education History

University of Leeds, UK

PHD

Publications

Brahim Hnich, Barbara M. Smith, Toby Walsh
Dual Modelling of Permutation and Injection Problems CoRR (2011)
Barbara M. Smith, Jean-François Puget
Constraint models for graceful graphs. Constraints An Int. J. 15 (1) (2010)
Tim Januschowski, Barbara M. Smith, Marc R. C. van Dongen
Symmetry Breaking with Polynomial Delay CoRR (2010)
J. Christopher Beck, Barbara M. Smith
Introduction to the special volume on constraint programming, artificial intelligence, and operations research. Ann. Oper. Res. 171 (1) (2009)
Barbara M. Smith
Observations on Symmetry Breaking. CP (2009)
Hadrien Cambazard, Barry O'Sullivan, Barbara M. Smith
A constraint-based approach to Enigma 1225. Comput. Math. Appl. 58 (8) (2009)
Armagan Tarim, Barbara M. Smith
Constraint programming for computing non-stationary (R, S) inventory policies. Eur. J. Oper. Res. 189 (3) (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) (2007)
Yat Chiu Law, Jimmy Ho-Man Lee, Barbara M. Smith
Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems. Constraints An Int. J. 12 (4) (2007)
Barbara M. Smith, Stefano Bistarelli, Barry O'Sullivan
Constraint Symmetry for the Soft CSP. CP (2007)
David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith
Constraint Symmetry and Solution Symmetry. AAAI (2006)
Brahim Hnich, Steven D. Prestwich, Evgeny Selensky, Barbara M. Smith
Constraint Models for the Covering Test Problem. Constraints An Int. J. 11 (2-3) (2006)
Barbara M. Smith
Constraint Programming Models for Graceful Graphs. CP (2006)
David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith
Symmetry Definitions for Constraint Satisfaction Problems. Constraints An Int. J. 11 (2-3) (2006)
Barbara M. Smith
Symmetry and Search in a Network Design Problem. CPAIOR (2005)
Barbara M. Smith, Paula Sturdy
Value Ordering for Finding All Solutions. IJCAI (2005)
Alan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh
Transforming and Refining Abstract Constraint Specifications. SARA (2005)
Ian P. Gent, Tom Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith
Conditional Symmetry Breaking. CP (2005)
David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith
Symmetry Definitions for Constraint Satisfaction Problems. CP (2005)
Barbara M. Smith
Caching Search States in Permutation Problems. CP (2005)
Barbara M. Smith, Karen E. Petrie, Ian P. Gent
Models and Symmetry Breaking for 'Peaceable Armies of Queens'. CPAIOR (2004)
Brahim Hnich, Toby Walsh, Barbara M. Smith
Dual Modelling of Permutation and Injection Problems. J. Artif. Intell. Res. 21 (2004)
Karen E. Petrie, Barbara M. Smith
Symmetry Breaking in Graceful Graphs. CP (2003)
Ian P. Gent, Patrick Prosser, Barbara M. Smith, Wu Wei
Supertree Construction with Constraint Programming. CP (2003)
Barbara M. Smith
A Dual Graph Translation of a Problem in 'Life'. CP (2002)
Iain McDonald, Barbara M. Smith
Partial Symmetry Breaking. CP (2002)
Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh
Random Constraint Satisfaction: Flaws and Structure. Constraints An Int. J. 6 (4) (2001)
Elias Oliveira, Barbara M. Smith
A Combined Constraint-Based Search Method for Single-Track Railway Scheduling Problem. EPIA (2001)
Barbara M. Smith
Dual Models of Permutation Problems. CP (2001)
Ian P. Gent, Robert W. Irving, David F. Manlove, Patrick Prosser, Barbara M. Smith
A Constraint Programming Approach to the Stable Marriage Problem. CP (2001)
Barbara M. Smith
Constructing an asymptotic phase transition in random binary constraint satisfaction problems. Theor. Comput. Sci. 265 (1-2) (2001)
Ian P. Gent, Barbara M. Smith
Symmetry Breaking in Constraint Programming. ECAI (2000)
Barbara M. Smith, Kostas Stergiou, Toby Walsh
Using Auxiliary Variables and Implied Constraints to Model Non-Binary Problems. AAAI/IAAI (2000)
Suniel D. Curtis, Barbara M. Smith, Anthony Wren
Constructing Driver Schedules using Iterative Repair. PACPL (2000)
Barbara M. Smith
The Brélaz Heuristic and Optimal Static Orderings. CP (1999)
Sally C. Brailsford, Chris N. Potts, Barbara M. Smith
Constraint satisfaction problems: Algorithms and applications. Eur. J. Oper. Res. 119 (3) (1999)
Barbara M. Smith, Stuart A. Grant
Trying Harder to Fail First. ECAI (1998)
Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh
Random Constraint Satisfaction: Theory Meets Practice. CP (1998)
Barbara M. Smith, Colin J. Layfield, Anthony Wren
A constraint programming pre-processor for a bus driver scheduling system. Constraint Programming and Large Scale Discrete Optimization (1998)
Barbara M. Smith, Stuart A. Grant
Modelling Exceptionally Hard Constraint Satisfaction Problems. CP (1997)
Barbara M. Smith
Succeed-first or Fail-first: A Case Study in Variable and Value Ordering. PACT (1997)
Barbara M. Smith, Martin E. Dyer
Locating the Phase Transition in Binary Constraint Satisfaction Problems. Artif. Intell. 81 (1-2) (1996)
Stuart A. Grant, Barbara M. Smith
The Phase Transition Behaviour of Maintaining Arc Consistency. ECAI (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 An Int. J. 1 (1/2) (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)
Stuart A. Grant, Barbara M. Smith
The Arc and Path Consistency Phase Transitions. CP (1996)
Sally C. Brailsford, Peter M. Hubbard, Barbara M. Smith, H. Paul Williams
Organizing a social event - A difficult problem of combinatorial optimization. Comput. Oper. Res. 23 (9) (1996)
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)
Barbara M. Smith
In Search of Exceptionally Difficult Constraint Satisfaction Problems. Constraint Processing, Selected Papers (1995)
Barbara M. Smith, Stuart A. Grant
Sparse Constraint Graphs and Exceptionally Hard Problems. IJCAI (1) (1995)
Barbara M. Smith
The Phase Transition and the Mushy Region in Constraint Satisfaction Problems. ECAI (1994)
Barbara M. Smith
How to Solve the Zebra Problem, or Path Consistency the Easy Way. ECAI (1992)
Barbara M. Smith
Impacs - A bus crew scheduling system using integer programming. Math. Program. 42 (1-3) (1988)

Barbara M. Smith.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Barbara M. Smith