Smith, Barbara M.

5 publications

AAAI 2006 Constraint Symmetry and Solution Symmetry David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith

IJCAI 2005 Value Ordering for Finding All Solutions Barbara M. Smith, Paula Sturdy

JAIR 2004 Dual Modelling of Permutation and Injection Problems Brahim Hnich, Toby Walsh, Barbara M. Smith

AAAI 2000 Using Auxiliary Variables and Implied Constraints to Model Non-Binary Problems Barbara M. Smith, Kostas Stergiou, Toby Walsh

IJCAI 1995 Sparse Constraint Graphs and Exceptionally Hard Problems Barbara M. Smith, Stuart A. Grant