Barbara M. Smith

Affiliations:
  • University College Cork, Ireland


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2010
Symmetry Breaking with Polynomial Delay
CoRR, 2010

Constraint models for graceful graphs.
Constraints An Int. J., 2010

2009
A constraint-based approach to Enigma 1225.
Comput. Math. Appl., 2009

Introduction to the special volume on constraint programming, artificial intelligence, and operations research.
Ann. Oper. Res., 2009

Observations on Symmetry Breaking.
Proceedings of the Principles and Practice of Constraint Programming, 2009

2008
Constraint programming for computing non-stationary (R, S) inventory policies.
Eur. J. Oper. Res., 2008

2007
Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems.
Constraints An Int. J., 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 An Int. J., 2006

Symmetry Definitions for Constraint Satisfaction Problems.
Constraints An Int. J., 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 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.
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 An Int. J., 2001

A Combined Constraint-Based Search Method for Single-Track 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
Constructing Driver Schedules using Iterative Repair.
Proceedings of the Second International Conference on the Practical Application of Constraint Technologies and Logic Programming, 2000

Symmetry Breaking in Constraint Programming.
Proceedings of the ECAI 2000, 2000

Using Auxiliary Variables and Implied Constraints to Model Non-Binary 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.
Eur. J. Oper. Res., 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 pre-processor 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
Succeed-first or Fail-first: A Case Study in Variable and Value Ordering.
Proceedings of the Third International Conference on the Practical Application of Constraint Technology, 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.
Comput. Oper. Res., 1996

The Progressive Party Problem: Integer Linear Programming and Constraint Programming Compared.
Constraints An Int. J., 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


  Loading...