Demo Data from VLDB 2026 / reviewers in the wild / expert
Barbara M. Smith
dblp:s/BarbaraMSmith
· DBLP profile ↗
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
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › constraint satisfaction
value ordering |
0.1 | 1 | 2005 | Value Ordering for Finding All Solutions · IJCAI 2005 |
Computational complexity
phase transition |
0.0 | 1 | 1996 | 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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2009 | Observations on Symmetry Breaking
Barbara M. Smith |
CP | 1 |
| 2007 | Constraint Symmetry for the Soft CSP
Barbara M. Smith, Stefano Bistarelli, Barry O'Sullivan |
CP | 1 |
| 2006 | Constraint Symmetry and Solution Symmetry
David A. Cohen, Peter Jeavons 0001, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith |
AAAI | 5 |
| 2006 | Constraint Programming Models for Graceful Graphs
Barbara M. Smith |
CP | 1 |
| 2005 | Symmetry Definitions for Constraint Satisfaction Problems
David A. Cohen, Peter Jeavons 0001, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith |
CP | 5 |
| 2005 | Conditional Symmetry Breaking
Ian P. Gent, Thomas W. Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith |
CP | 6 |
| 2005 | Caching Search States in Permutation Problems
Barbara M. Smith |
CP | 1 |
| 2005 | Symmetry and Search in a Network Design Problem
Barbara M. Smith |
CPAIOR | 1 |
| 2005 | Value Ordering for Finding All Solutions
Barbara M. Smith, Paula Sturdy |
IJCAI | 1 |
| 2004 | Models and Symmetry Breaking for 'Peaceable Armies of Queens'
Barbara M. Smith, Karen E. Petrie, Ian P. Gent |
CPAIOR | 1 |
| 2004 | Dual Modelling of Permutation and Injection ProblemsabstractWhen 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 |
CP | 3 |
| 2003 | Symmetry Breaking in Graceful Graphs
Karen E. Petrie, Barbara M. Smith |
CP | 2 |
| 2002 | Partial Symmetry Breaking
Iain McDonald, Barbara M. Smith |
CP | 2 |
| 2002 | A Dual Graph Translation of a Problem in 'Life'
Barbara M. Smith |
CP | 1 |
| 2001 | A Constraint Programming Approach to the Stable Marriage Problem
Ian P. Gent, Robert W. Irving, David F. Manlove, Patrick Prosser, Barbara M. Smith |
CP | 5 |
| 2001 | Dual Models of Permutation Problems
Barbara M. Smith |
CP | 1 |
| 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 |
ECAI | 2 |
| 1999 | The Brélaz Heuristic and Optimal Static Orderings
Barbara M. Smith |
CP | 1 |
| 1998 | Random Constraint Satisfaction: Theory Meets Practice
Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh |
CP | 3 |
| 1998 | Trying Harder to Fail First
Barbara M. Smith, Stuart A. Grant |
ECAI | 1 |
| 1997 | Modelling Exceptionally Hard Constraint Satisfaction Problems
Barbara M. Smith, Stuart A. Grant |
CP | 1 |
| 1996 | The Arc and Path Consistency Phase Transitions
Stuart A. Grant, Barbara M. Smith |
CP | 2 |
| 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 |
CP | 4 |
| 1996 | The Phase Transition Behaviour of Maintaining Arc Consistency
Stuart A. Grant, Barbara M. Smith |
ECAI | 2 |
| 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 |
CP | 1 |
| 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 |
ECAI | 1 |
| 1992 | How to Solve the Zebra Problem, or Path Consistency the Easy Way
Barbara M. Smith |
ECAI | 1 |