The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Barbara M. Smith: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith
    Constraint Symmetry and Solution Symmetry. [Citation Graph (0, 0)][DBLP]
    AAAI, 2006, pp:- [Conf]
  2. Barbara M. Smith, Kostas Stergiou, Toby Walsh
    Using Auxiliary Variables and Implied Constraints to Model Non-Binary Problems. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2000, pp:182-187 [Conf]
  3. David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith
    Symmetry Definitions for Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:17-31 [Conf]
  4. Ian P. Gent, Robert W. Irving, David Manlove, Patrick Prosser, Barbara M. Smith
    A Constraint Programming Approach to the Stable Marriage Problem. [Citation Graph (0, 0)][DBLP]
    CP, 2001, pp:225-239 [Conf]
  5. Ian P. Gent, Tom Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith
    Conditional Symmetry Breaking. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:256-270 [Conf]
  6. Ian P. Gent, Patrick Prosser, Barbara M. Smith, Wu Wei
    Supertree Construction with Constraint Programming. [Citation Graph (0, 0)][DBLP]
    CP, 2003, pp:837-841 [Conf]
  7. Stuart A. Grant, Barbara M. Smith
    The Arc and Path Consistency Phase Transitions. [Citation Graph (0, 0)][DBLP]
    CP, 1996, pp:541-542 [Conf]
  8. Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh
    Random Constraint Satisfaction: Theory Meets Practice. [Citation Graph (0, 0)][DBLP]
    CP, 1998, pp:325-339 [Conf]
  9. Iain McDonald, Barbara M. Smith
    Partial Symmetry Breaking. [Citation Graph (0, 0)][DBLP]
    CP, 2002, pp:431-445 [Conf]
  10. Karen E. Petrie, Barbara M. Smith
    Symmetry Breaking in Graceful Graphs. [Citation Graph (0, 0)][DBLP]
    CP, 2003, pp:930-934 [Conf]
  11. Barbara M. Smith
    Dual Models of Permutation Problems. [Citation Graph (0, 0)][DBLP]
    CP, 2001, pp:615-619 [Conf]
  12. Barbara M. Smith
    A Dual Graph Translation of a Problem in 'Life'. [Citation Graph (0, 0)][DBLP]
    CP, 2002, pp:402-414 [Conf]
  13. Barbara M. Smith
    Caching Search States in Permutation Problems. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:637-651 [Conf]
  14. Barbara M. Smith
    Constraint Programming Models for Graceful Graphs. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:545-559 [Conf]
  15. Barbara M. Smith
    In Search of Exceptionally Difficult Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
    Constraint Processing, Selected Papers, 1995, pp:139-155 [Conf]
  16. Barbara M. Smith
    The Brélaz Heuristic and Optimal Static Orderings. [Citation Graph (0, 0)][DBLP]
    CP, 1999, pp:405-418 [Conf]
  17. Barbara M. Smith, Sally C. Brailsford, Peter M. Hubbard, H. Paul Williams
    The Progressive Party Problem: Integer Linear Programming and Constraint Programming Compared. [Citation Graph (0, 0)][DBLP]
    CP, 1995, pp:36-52 [Conf]
  18. Barbara M. Smith, Stuart A. Grant
    Modelling Exceptionally Hard Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
    CP, 1997, pp:182-195 [Conf]
  19. Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh
    An Empirical Study of Dynamic Variable Ordering Heuristics for the Constraint Satisfaction Problem. [Citation Graph (0, 0)][DBLP]
    CP, 1996, pp:179-193 [Conf]
  20. Barbara M. Smith
    Symmetry and Search in a Network Design Problem. [Citation Graph (0, 0)][DBLP]
    CPAIOR, 2005, pp:336-350 [Conf]
  21. Barbara M. Smith, Karen E. Petrie, Ian P. Gent
    Models and Symmetry Breaking for 'Peaceable Armies of Queens'. [Citation Graph (0, 0)][DBLP]
    CPAIOR, 2004, pp:271-286 [Conf]
  22. Ian P. Gent, Barbara M. Smith
    Symmetry Breaking in Constraint Programming. [Citation Graph (0, 0)][DBLP]
    ECAI, 2000, pp:599-603 [Conf]
  23. Stuart A. Grant, Barbara M. Smith
    The Phase Transition Behaviour of Maintaining Arc Consistency. [Citation Graph (0, 0)][DBLP]
    ECAI, 1996, pp:175-179 [Conf]
  24. Barbara M. Smith
    How to Solve the Zebra Problem, or Path Consistency the Easy Way. [Citation Graph (0, 0)][DBLP]
    ECAI, 1992, pp:36-37 [Conf]
  25. Barbara M. Smith
    The Phase Transition and the Mushy Region in Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
    ECAI, 1994, pp:100-104 [Conf]
  26. Barbara M. Smith, Stuart A. Grant
    Trying Harder to Fail First. [Citation Graph (0, 0)][DBLP]
    ECAI, 1998, pp:249-253 [Conf]
  27. Elias Oliveira, Barbara M. Smith
    A Combined Constraint-Based Search Method for Single-Track Railway Scheduling Problem. [Citation Graph (0, 0)][DBLP]
    EPIA, 2001, pp:371-378 [Conf]
  28. Barbara M. Smith, Stuart A. Grant
    Sparse Constraint Graphs and Exceptionally Hard Problems. [Citation Graph (0, 0)][DBLP]
    IJCAI (1), 1995, pp:646-654 [Conf]
  29. Barbara M. Smith, Paula Sturdy
    Value Ordering for Finding All Solutions. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:311-316 [Conf]
  30. Alan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh
    Transforming and Refining Abstract Constraint Specifications. [Citation Graph (0, 0)][DBLP]
    SARA, 2005, pp:76-91 [Conf]
  31. Barbara M. Smith, Martin E. Dyer
    Locating the Phase Transition in Binary Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1996, v:81, n:1-2, pp:155-181 [Journal]
  32. Brahim Hnich, Steven David Prestwich, Evgeny Selensky, Barbara M. Smith
    Constraint Models for the Covering Test Problem. [Citation Graph (0, 0)][DBLP]
    Constraints, 2006, v:11, n:2-3, pp:199-219 [Journal]
  33. David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith
    Symmetry Definitions for Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
    Constraints, 2006, v:11, n:2-3, pp:115-137 [Journal]
  34. Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh
    Random Constraint Satisfaction: Flaws and Structure. [Citation Graph (0, 0)][DBLP]
    Constraints, 2001, v:6, n:4, pp:345-372 [Journal]
  35. Barbara M. Smith, Sally C. Brailsford, Peter M. Hubbard, H. Paul Williams
    The Progressive Party Problem: Integer Linear Programming and Constraint Programming Compared. [Citation Graph (0, 0)][DBLP]
    Constraints, 1996, v:1, n:1/2, pp:119-138 [Journal]
  36. Sally C. Brailsford, Peter M. Hubbard, Barbara M. Smith, H. Paul Williams
    Organizing a social event - A difficult problem of combinatorial optimization. [Citation Graph (0, 0)][DBLP]
    Computers & OR, 1996, v:23, n:9, pp:845-856 [Journal]
  37. Brahim Hnich, Toby Walsh, Barbara M. Smith
    Dual Modelling of Permutation and Injection Problems. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2004, v:21, n:, pp:357-391 [Journal]
  38. Barbara M. Smith
    Constructing an asymptotic phase transition in random binary constraint satisfaction problems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:265, n:1-2, pp:265-283 [Journal]
  39. Barbara M. Smith, Stefano Bistarelli, Barry O'Sullivan
    Constraint Symmetry for the Soft CSP. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:872-879 [Conf]
  40. Ian P. Gent, Christopher Jefferson, Tom Kelsey, Inês Lynce, Ian Miguel, Peter Nightingale, Barbara M. Smith, Armagan Tarim
    Search in the patience game 'Black Hole'. [Citation Graph (0, 0)][DBLP]
    AI Commun., 2007, v:20, n:3, pp:211-226 [Journal]

  41. Observations on Symmetry Breaking. [Citation Graph (, )][DBLP]


  42. Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems. [Citation Graph (, )][DBLP]


  43. Constraint models for graceful graphs. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002