Barbara M. Smith

According to our database, Barbara M. Smith authored at least 52 papers between 1986 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2010

Symmetry Breaking with Polynomial Delay

Tim Januschowski, Barbara M. Smith, Marc R. C. van Dongen

CoRR, 2010

Constraint models for graceful graphs.

Barbara M. Smith, Jean-François Puget

Constraints An Int. J., 2010

2009

A constraint-based approach to Enigma 1225.

Hadrien Cambazard, Barry O'Sullivan, Barbara M. Smith

Comput. Math. Appl., 2009

Introduction to the special volume on constraint programming, artificial intelligence, and operations research.

J. Christopher Beck, Barbara M. Smith

Ann. Oper. Res., 2009

Observations on Symmetry Breaking.

Barbara M. Smith

Proceedings of the Principles and Practice of Constraint Programming, 2009

2008

Constraint programming for computing non-stationary (R, S) inventory policies.

Armagan Tarim, Barbara M. Smith

Eur. J. Oper. Res., 2008

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

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

Constraint Symmetry for the Soft CSP.

Barbara M. Smith, Stefano Bistarelli, Barry O'Sullivan

Proceedings of the Principles and Practice of Constraint Programming, 2007

2006

Modelling.

Barbara M. Smith

Proceedings of the Handbook of Constraint Programming, 2006

Constraint Models for the Covering Test Problem.

Brahim Hnich, Steven D. Prestwich, Evgeny Selensky, Barbara M. Smith

Constraints An Int. J., 2006

Symmetry Definitions for Constraint Satisfaction Problems.

David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith

Constraints An Int. J., 2006

Constraint Programming Models for Graceful Graphs.

Barbara M. Smith

Proceedings of the Principles and Practice of Constraint Programming, 2006

Constraint Symmetry and Solution Symmetry.

David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith

Proceedings of the Proceedings, 2006

2005

Transforming and Refining Abstract Constraint Specifications.

Alan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh

Proceedings of the Abstraction, 2005

Value Ordering for Finding All Solutions.

Barbara M. Smith, Paula Sturdy

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Symmetry and Search in a Network Design Problem.

Barbara M. Smith

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2005

Caching Search States in Permutation Problems.

Barbara M. Smith

Proceedings of the Principles and Practice of Constraint Programming, 2005

Conditional Symmetry Breaking.

Ian P. Gent, Tom W. Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

Dual Modelling of Permutation and Injection Problems.

Brahim Hnich, Toby Walsh, Barbara M. Smith

J. Artif. Intell. Res., 2004

Models and Symmetry Breaking for 'Peaceable Armies of Queens'.

Barbara M. Smith, Karen E. Petrie, Ian P. Gent

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2004

2003

Symmetry Breaking in Graceful Graphs.

Karen E. Petrie, Barbara M. Smith

Proceedings of the Principles and Practice of Constraint Programming, 2003

Supertree Construction with Constraint Programming.

Ian P. Gent, Patrick Prosser, Barbara M. Smith, Wu Wei

Proceedings of the Principles and Practice of Constraint Programming, 2003

2002

A Dual Graph Translation of a Problem in 'Life'.

Barbara M. Smith

Proceedings of the Principles and Practice of Constraint Programming, 2002

Partial Symmetry Breaking.

Iain McDonald, Barbara M. Smith

Proceedings of the Principles and Practice of Constraint Programming, 2002

2001

Constructing an asymptotic phase transition in random binary constraint satisfaction problems.

Barbara M. Smith

Theor. Comput. Sci., 2001

Random Constraint Satisfaction: Flaws and Structure.

Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh

Constraints An Int. J., 2001

A Combined Constraint-Based Search Method for Single-Track Railway Scheduling Problem.

Elias Oliveira, Barbara M. Smith

Proceedings of the Progress in Artificial Intelligence, 2001

Dual Models of Permutation Problems.

Barbara M. Smith

Proceedings of the Principles and Practice of Constraint Programming, 2001

A Constraint Programming Approach to the Stable Marriage Problem.

Ian P. Gent, Robert W. Irving, David F. Manlove, Patrick Prosser, Barbara M. Smith

Proceedings of the Principles and Practice of Constraint Programming, 2001

2000

Constructing Driver Schedules using Iterative Repair.

Suniel D. Curtis, Barbara M. Smith, Anthony Wren

Proceedings of the Second International Conference on the Practical Application of Constraint Technologies and Logic Programming, 2000

Symmetry Breaking in Constraint Programming.

Ian P. Gent, Barbara M. Smith

Proceedings of the ECAI 2000, 2000

Using Auxiliary Variables and Implied Constraints to Model Non-Binary Problems.

Barbara M. Smith, Kostas Stergiou, Toby Walsh

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999

Constraint satisfaction problems: Algorithms and applications.

Sally C. Brailsford, Chris N. Potts, Barbara M. Smith

Eur. J. Oper. Res., 1999

The Brélaz Heuristic and Optimal Static Orderings.

Barbara M. Smith

Proceedings of the Principles and Practice of Constraint Programming, 1999

1998

Trying Harder to Fail First.

Barbara M. Smith, Stuart A. Grant

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

A constraint programming pre-processor for a bus driver scheduling system.

Barbara M. Smith, Colin J. Layfield, Anthony Wren

Proceedings of the Constraint Programming and Large Scale Discrete Optimization, 1998

Random Constraint Satisfaction: Theory Meets Practice.

Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh

Proceedings of the Principles and Practice of Constraint Programming, 1998

1997

Succeed-first or Fail-first: A Case Study in Variable and Value Ordering.

Barbara M. Smith

Proceedings of the Third International Conference on the Practical Application of Constraint Technology, 1997

Modelling Exceptionally Hard Constraint Satisfaction Problems.

Barbara M. Smith, Stuart A. Grant

Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 1997

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

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

Locating the Phase Transition in Binary Constraint Satisfaction Problems.

Barbara M. Smith, Martin E. Dyer

Artif. Intell., 1996

The Phase Transition Behaviour of Maintaining Arc Consistency.

Stuart A. Grant, Barbara M. Smith

Proceedings of the 12th European Conference on Artificial Intelligence, 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

Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

The Arc and Path Consistency Phase Transitions.

Stuart A. Grant, Barbara M. Smith

Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

1995

Sparse Constraint Graphs and Exceptionally Hard Problems.

Barbara M. Smith, Stuart A. Grant

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

In Search of Exceptionally Difficult Constraint Satisfaction Problems.

Barbara M. Smith

Proceedings of the Constraint Processing, Selected Papers, 1995

1994

The Phase Transition and the Mushy Region in Constraint Satisfaction Problems.

Barbara M. Smith

Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

1992

How to Solve the Zebra Problem, or Path Consistency the Easy Way.

Barbara M. Smith

Proceedings of the 10th European Conference on Artificial Intelligence, 1992

1988

Impacs - A bus crew scheduling system using integer programming.

Barbara M. Smith

Math. Program., 1988

1986

Bus crew scheduling using mathematical programming.

Barbara M. Smith

PhD thesis, 1986