Barbara M. Smith
According to our database^{1},
Barbara M. Smith
authored at least 50 papers
between 1986 and 2010.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepage:

at 4c.ucc.ie
On csauthors.net:
Bibliography
2010
Symmetry Breaking with Polynomial Delay
CoRR, 2010
Constraint models for graceful graphs.
Constraints, 2010
2009
A constraintbased approach to Enigma 1225.
Computers & Mathematics with Applications, 2009
Introduction to the special volume on constraint programming, artificial intelligence, and operations research.
Annals OR, 2009
Observations on Symmetry Breaking.
Proceedings of the Principles and Practice of Constraint Programming, 2009
2008
Constraint programming for computing nonstationary (R, S) inventory policies.
European Journal of Operational Research, 2008
2007
Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems.
Constraints, 2007
Search in the patience game 'Black Hole'.
AI Commun., 2007
Constraint Symmetry for the Soft CSP.
Proceedings of the Principles and Practice of Constraint Programming, 2007
2006
Modelling.
Proceedings of the Handbook of Constraint Programming, 2006
Constraint Models for the Covering Test Problem.
Constraints, 2006
Symmetry Definitions for Constraint Satisfaction Problems.
Constraints, 2006
Constraint Programming Models for Graceful Graphs.
Proceedings of the Principles and Practice of Constraint Programming, 2006
Constraint Symmetry and Solution Symmetry.
Proceedings of the Proceedings, 2006
2005
Transforming and Refining Abstract Constraint Specifications.
Proceedings of the Abstraction, 2005
Value Ordering for Finding All Solutions.
Proceedings of the IJCAI05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
Symmetry and Search in a Network Design Problem.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2005
Caching Search States in Permutation Problems.
Proceedings of the Principles and Practice of Constraint Programming, 2005
Conditional Symmetry Breaking.
Proceedings of the Principles and Practice of Constraint Programming, 2005
2004
Dual Modelling of Permutation and Injection Problems.
J. Artif. Intell. Res., 2004
Models and Symmetry Breaking for 'Peaceable Armies of Queens'.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2004
2003
Symmetry Breaking in Graceful Graphs.
Proceedings of the Principles and Practice of Constraint Programming, 2003
Supertree Construction with Constraint Programming.
Proceedings of the Principles and Practice of Constraint Programming, 2003
2002
A Dual Graph Translation of a Problem in 'Life'.
Proceedings of the Principles and Practice of Constraint Programming, 2002
Partial Symmetry Breaking.
Proceedings of the Principles and Practice of Constraint Programming, 2002
2001
Constructing an asymptotic phase transition in random binary constraint satisfaction problems.
Theor. Comput. Sci., 2001
Random Constraint Satisfaction: Flaws and Structure.
Constraints, 2001
A Combined ConstraintBased Search Method for SingleTrack Railway Scheduling Problem.
Proceedings of the Progress in Artificial Intelligence, 2001
Dual Models of Permutation Problems.
Proceedings of the Principles and Practice of Constraint Programming, 2001
A Constraint Programming Approach to the Stable Marriage Problem.
Proceedings of the Principles and Practice of Constraint Programming, 2001
2000
Symmetry Breaking in Constraint Programming.
Proceedings of the ECAI 2000, 2000
Using Auxiliary Variables and Implied Constraints to Model NonBinary Problems.
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.
European Journal of Operational Research, 1999
The Brélaz Heuristic and Optimal Static Orderings.
Proceedings of the Principles and Practice of Constraint Programming, 1999
1998
Trying Harder to Fail First.
Proceedings of the 13th European Conference on Artificial Intelligence, 1998
A constraint programming preprocessor for a bus driver scheduling system.
Proceedings of the Constraint Programming and Large Scale Discrete Optimization, 1998
Random Constraint Satisfaction: Theory Meets Practice.
Proceedings of the Principles and Practice of Constraint Programming, 1998
1997
Modelling Exceptionally Hard Constraint Satisfaction Problems.
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.
Computers & OR, 1996
The Progressive Party Problem: Integer Linear Programming and Constraint Programming Compared.
Constraints, 1996
Locating the Phase Transition in Binary Constraint Satisfaction Problems.
Artif. Intell., 1996
The Phase Transition Behaviour of Maintaining Arc Consistency.
Proceedings of the 12th European Conference on Artificial Intelligence, 1996
An Empirical Study of Dynamic Variable Ordering Heuristics for the Constraint Satisfaction Problem.
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996
The Arc and Path Consistency Phase Transitions.
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996
1995
Sparse Constraint Graphs and Exceptionally Hard Problems.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995
In Search of Exceptionally Difficult Constraint Satisfaction Problems.
Proceedings of the Constraint Processing, Selected Papers, 1995
1994
The Phase Transition and the Mushy Region in Constraint Satisfaction Problems.
Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994
1992
How to Solve the Zebra Problem, or Path Consistency the Easy Way.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992
1988
Impacs  A bus crew scheduling system using integer programming.
Math. Program., 1988
1986
Bus crew scheduling using mathematical programming.
PhD thesis, 1986