Barbara M. Smith

56 papers A* 3A 23B 4Misc 1Journal 18Unranked 5

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