Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Barbara M. Smith

dblp:s/BarbaraMSmith · DBLP profile ↗
← Back
31ranked-venue papers
18as first author
0since 2021 · last 2009
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 30 · 17 first-authorSoftware engineering, systems software and programming languages · 18 · 9 first-authorGraphics, computer vision, multimedia, augmented reality and games · 8 · 5 first-authorTheory of computation · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Artificial intelligence
4 papers
Planning, search and constraint satisfaction · 100%
Theoretical computer science
2 papers
Graph algorithms and graph theory · 74% Computational complexity · 26%

Topics — the 2 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › constraint satisfaction
value ordering
0.112005
Value Ordering for Finding All Solutions · IJCAI 2005
Computational complexity
phase transition
0.011996
Locating the Phase Transition in Binary Constraint Satisfaction Problems · Artif. Intell. 1996

Methods — techniques the papers use, named apart from their topics

symmetry breaking · 0.1
YearPublicationVenuePosition
2009 Observations on Symmetry Breaking
Barbara M. Smith
CP1
2007 Constraint Symmetry for the Soft CSP
Barbara M. Smith, Stefano Bistarelli, Barry O'Sullivan
CP1
2006 Constraint Symmetry and Solution Symmetry
David A. Cohen, Peter Jeavons 0001, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith
AAAI5
2006 Constraint Programming Models for Graceful Graphs
Barbara M. Smith
CP1
2005 Symmetry Definitions for Constraint Satisfaction Problems
David A. Cohen, Peter Jeavons 0001, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith
CP5
2005 Conditional Symmetry Breaking
Ian P. Gent, Thomas W. Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith
CP6
2005 Caching Search States in Permutation Problems
Barbara M. Smith
CP1
2005 Symmetry and Search in a Network Design Problem
Barbara M. Smith
CPAIOR1
2005 Value Ordering for Finding All Solutions
Barbara M. Smith, Paula Sturdy
IJCAI1
2004 Models and Symmetry Breaking for 'Peaceable Armies of Queens'
Barbara M. Smith, Karen E. Petrie, Ian P. Gent
CPAIOR1
2004 Dual Modelling of Permutation and Injection Problems
abstract
When writing a constraint program, we have to choose which variables should be the decision variables, and how to represent the constraints on these variables. In many cases, there is considerable choice for the decision variables. Consider, for example, permutation problems in which we have as many values as variables, and each variable takes an unique value. In such problems, we can choose between a primal and a dual viewpoint. In the dual viewpoint, each dual variable represents one of the primal values, whilst each dual value represents one of the primal variables. Alternatively, by means of channelling constraints to link the primal and dual variables, we can have a combined model with both sets of variables. In this paper, we perform an extensive theoretical and empirical study of such primal, dual and combined models for two classes of problems: permutation problems and injection problems. Our results show that it often be advantageous to use multiple viewpoints, and to have constraints which channel between them to maintain consistency. They also illustrate a general methodology for comparing different constraint models.
Brahim Hnich, Toby Walsh, Barbara M. Smith
J. Artif. Intell. Res.3
2003 Supertree Construction with Constraint Programming
Ian P. Gent, Patrick Prosser, Barbara M. Smith
CP3
2003 Symmetry Breaking in Graceful Graphs
Karen E. Petrie, Barbara M. Smith
CP2
2002 Partial Symmetry Breaking
Iain McDonald, Barbara M. Smith
CP2
2002 A Dual Graph Translation of a Problem in 'Life'
Barbara M. Smith
CP1
2001 A Constraint Programming Approach to the Stable Marriage Problem
Ian P. Gent, Robert W. Irving, David F. Manlove, Patrick Prosser, Barbara M. Smith
CP5
2001 Dual Models of Permutation Problems
Barbara M. Smith
CP1
2001 Constructing an asymptotic phase transition in random binary constraint satisfaction problems
Barbara M. Smith
Theor. Comput. Sci.1
2000 Symmetry Breaking in Constraint Programming
Ian P. Gent, Barbara M. Smith
ECAI2
1999 The Brélaz Heuristic and Optimal Static Orderings
Barbara M. Smith
CP1
1998 Random Constraint Satisfaction: Theory Meets Practice
Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh
CP3
1998 Trying Harder to Fail First
Barbara M. Smith, Stuart A. Grant
ECAI1
1997 Modelling Exceptionally Hard Constraint Satisfaction Problems
Barbara M. Smith, Stuart A. Grant
CP1
1996 The Arc and Path Consistency Phase Transitions
Stuart A. Grant, Barbara M. Smith
CP2
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
CP4
1996 The Phase Transition Behaviour of Maintaining Arc Consistency
Stuart A. Grant, Barbara M. Smith
ECAI2
1996 Locating the Phase Transition in Binary Constraint Satisfaction Problems
Barbara M. Smith, Martin E. Dyer
Artif. Intell.1
1995 The Progressive Party Problem: Integer Linear Programming and Constraint Programming Compared
Barbara M. Smith, Sally C. Brailsford, Peter Hubbard 0001, H. Paul Williams
CP1
1995 Sparse Constraint Graphs and Exceptionally Hard Problems
Barbara M. Smith, Stuart A. Grant
IJCAI (1)1
1994 The Phase Transition and the Mushy Region in Constraint Satisfaction Problems
Barbara M. Smith
ECAI1
1992 How to Solve the Zebra Problem, or Path Consistency the Easy Way
Barbara M. Smith
ECAI1