Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Barbara M. Smith
@article{DBLP:journals/corr/abs-1107-0038,
author = {Brahim Hnich and
Barbara M. Smith and
Toby Walsh},
title = {Dual Modelling of Permutation and Injection Problems},
journal = {CoRR},
volume = {abs/1107.0038},
year = {2011},
url = {http://arxiv.org/abs/1107.0038},
eprinttype = {arXiv},
eprint = {1107.0038},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-0038.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/SmithP10,
author = {Barbara M. Smith and
Jean{-}Fran{\c{c}}ois Puget},
title = {Constraint models for graceful graphs},
journal = {Constraints An Int. J.},
volume = {15},
number = {1},
pages = {64--92},
year = {2010},
url = {https://doi.org/10.1007/s10601-009-9071-6},
doi = {10.1007/S10601-009-9071-6},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/SmithP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1012-5585,
author = {Tim Januschowski and
Barbara M. Smith and
Marc R. C. van Dongen},
title = {Symmetry Breaking with Polynomial Delay},
journal = {CoRR},
volume = {abs/1012.5585},
year = {2010},
url = {http://arxiv.org/abs/1012.5585},
eprinttype = {arXiv},
eprint = {1012.5585},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1012-5585.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/anor/BeckS09,
author = {J. Christopher Beck and
Barbara M. Smith},
title = {Introduction to the special volume on constraint programming, artificial
intelligence, and operations research},
journal = {Ann. Oper. Res.},
volume = {171},
number = {1},
pages = {1--2},
year = {2009},
url = {https://doi.org/10.1007/s10479-008-0439-6},
doi = {10.1007/S10479-008-0439-6},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/anor/BeckS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cma/CambazardOS09,
author = {Hadrien Cambazard and
Barry O'Sullivan and
Barbara M. Smith},
title = {A constraint-based approach to Enigma 1225},
journal = {Comput. Math. Appl.},
volume = {58},
number = {8},
pages = {1487--1497},
year = {2009},
url = {https://doi.org/10.1016/j.camwa.2008.11.019},
doi = {10.1016/J.CAMWA.2008.11.019},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cma/CambazardOS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Smith09,
author = {Barbara M. Smith},
editor = {Ian P. Gent},
title = {Observations on Symmetry Breaking},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th
International Conference, {CP} 2009, Lisbon, Portugal, September 20-24,
2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5732},
pages = {5},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04244-7\_3},
doi = {10.1007/978-3-642-04244-7\_3},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/Smith09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/TarimS08,
author = {Armagan Tarim and
Barbara M. Smith},
title = {Constraint programming for computing non-stationary (R, {S)} inventory
policies},
journal = {Eur. J. Oper. Res.},
volume = {189},
number = {3},
pages = {1004--1021},
year = {2008},
url = {https://doi.org/10.1016/j.ejor.2006.11.048},
doi = {10.1016/J.EJOR.2006.11.048},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eor/TarimS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/GentJKLMNST07,
author = {Ian P. Gent and
Christopher Jefferson and
Tom Kelsey and
In{\^{e}}s Lynce and
Ian Miguel and
Peter Nightingale and
Barbara M. Smith and
Armagan Tarim},
title = {Search in the patience game 'Black Hole'},
journal = {{AI} Commun.},
volume = {20},
number = {3},
pages = {211--226},
year = {2007},
url = {http://content.iospress.com/articles/ai-communications/aic405},
timestamp = {Fri, 15 May 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/GentJKLMNST07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/LawLS07,
author = {Yat Chiu Law and
Jimmy Ho{-}Man Lee and
Barbara M. Smith},
title = {Automatic Generation of Redundant Models for Permutation Constraint
Satisfaction Problems},
journal = {Constraints An Int. J.},
volume = {12},
number = {4},
pages = {469--505},
year = {2007},
url = {https://doi.org/10.1007/s10601-007-9024-x},
doi = {10.1007/S10601-007-9024-X},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/LawLS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SmithBO07,
author = {Barbara M. Smith and
Stefano Bistarelli and
Barry O'Sullivan},
editor = {Christian Bessiere},
title = {Constraint Symmetry for the Soft {CSP}},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {872--879},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_66},
doi = {10.1007/978-3-540-74970-7\_66},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/SmithBO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/CohenJJPS06,
author = {David A. Cohen and
Peter Jeavons and
Christopher Jefferson and
Karen E. Petrie and
Barbara M. Smith},
title = {Symmetry Definitions for Constraint Satisfaction Problems},
journal = {Constraints An Int. J.},
volume = {11},
number = {2-3},
pages = {115--137},
year = {2006},
url = {https://doi.org/10.1007/s10601-006-8059-8},
doi = {10.1007/S10601-006-8059-8},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/CohenJJPS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/HnichPSS06,
author = {Brahim Hnich and
Steven D. Prestwich and
Evgeny Selensky and
Barbara M. Smith},
title = {Constraint Models for the Covering Test Problem},
journal = {Constraints An Int. J.},
volume = {11},
number = {2-3},
pages = {199--219},
year = {2006},
url = {https://doi.org/10.1007/s10601-006-7094-9},
doi = {10.1007/S10601-006-7094-9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/HnichPSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CohenJJPS06,
author = {David A. Cohen and
Peter Jeavons and
Christopher Jefferson and
Karen E. Petrie and
Barbara M. Smith},
title = {Constraint Symmetry and Solution Symmetry},
booktitle = {Proceedings, The Twenty-First National Conference on Artificial Intelligence
and the Eighteenth Innovative Applications of Artificial Intelligence
Conference, July 16-20, 2006, Boston, Massachusetts, {USA}},
pages = {1589--1592},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/AAAI/2006/aaai06-257.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CohenJJPS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Smith06,
author = {Barbara M. Smith},
editor = {Fr{\'{e}}d{\'{e}}ric Benhamou},
title = {Constraint Programming Models for Graceful Graphs},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
International Conference, {CP} 2006, Nantes, France, September 25-29,
2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4204},
pages = {545--559},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11889205\_39},
doi = {10.1007/11889205\_39},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/Smith06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpaior/2006,
editor = {J. Christopher Beck and
Barbara M. Smith},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {3990},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11757375},
doi = {10.1007/11757375},
isbn = {3-540-34306-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/Smith06,
author = {Barbara M. Smith},
editor = {Francesca Rossi and
Peter van Beek and
Toby Walsh},
title = {Modelling},
booktitle = {Handbook of Constraint Programming},
series = {Foundations of Artificial Intelligence},
volume = {2},
pages = {377--406},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/S1574-6526(06)80015-5},
doi = {10.1016/S1574-6526(06)80015-5},
timestamp = {Tue, 23 Jan 2024 13:25:47 +0100},
biburl = {https://dblp.org/rec/reference/fai/Smith06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CohenJJPS05,
author = {David A. Cohen and
Peter Jeavons and
Christopher Jefferson and
Karen E. Petrie and
Barbara M. Smith},
editor = {Peter van Beek},
title = {Symmetry Definitions for Constraint Satisfaction Problems},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2005, 11th
International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3709},
pages = {17--31},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11564751\_5},
doi = {10.1007/11564751\_5},
timestamp = {Mon, 17 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/CohenJJPS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GentKLMMS05,
author = {Ian P. Gent and
Tom Kelsey and
Steve Linton and
Iain McDonald and
Ian Miguel and
Barbara M. Smith},
editor = {Peter van Beek},
title = {Conditional Symmetry Breaking},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2005, 11th
International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3709},
pages = {256--270},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11564751\_21},
doi = {10.1007/11564751\_21},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/GentKLMMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Smith05,
author = {Barbara M. Smith},
editor = {Peter van Beek},
title = {Caching Search States in Permutation Problems},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2005, 11th
International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3709},
pages = {637--651},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11564751\_47},
doi = {10.1007/11564751\_47},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/Smith05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/Smith05,
author = {Barbara M. Smith},
editor = {Roman Bart{\'{a}}k and
Michela Milano},
title = {Symmetry and Search in a Network Design Problem},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, Second International Conference,
{CPAIOR} 2005, Prague, Czech Republic, May 30 - June 1, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3524},
pages = {336--350},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11493853\_25},
doi = {10.1007/11493853\_25},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/Smith05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SmithS05,
author = {Barbara M. Smith and
Paula Sturdy},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {Value Ordering for Finding All Solutions},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {311--316},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/1122.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:29 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SmithS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/FrischHMSW05,
author = {Alan M. Frisch and
Brahim Hnich and
Ian Miguel and
Barbara M. Smith and
Toby Walsh},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {Transforming and Refining Abstract Constraint Specifications},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {76--91},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_6},
doi = {10.1007/11527862\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/FrischHMSW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/HnichWS04,
author = {Brahim Hnich and
Toby Walsh and
Barbara M. Smith},
title = {Dual Modelling of Permutation and Injection Problems},
journal = {J. Artif. Intell. Res.},
volume = {21},
pages = {357--391},
year = {2004},
url = {https://doi.org/10.1613/jair.1351},
doi = {10.1613/JAIR.1351},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/HnichWS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/SmithPG04,
author = {Barbara M. Smith and
Karen E. Petrie and
Ian P. Gent},
editor = {Jean{-}Charles R{\'{e}}gin and
Michel Rueher},
title = {Models and Symmetry Breaking for 'Peaceable Armies of Queens'},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, First International Conference,
{CPAIOR} 2004, Nice, France, April 20-22, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3011},
pages = {271--286},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24664-0\_19},
doi = {10.1007/978-3-540-24664-0\_19},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/SmithPG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GentPSW03,
author = {Ian P. Gent and
Patrick Prosser and
Barbara M. Smith and
Wu Wei},
editor = {Francesca Rossi},
title = {Supertree Construction with Constraint Programming},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th
International Conference, {CP} 2003, Kinsale, Ireland, September 29
- October 3, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2833},
pages = {837--841},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45193-8\_63},
doi = {10.1007/978-3-540-45193-8\_63},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/cp/GentPSW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/PetrieS03,
author = {Karen E. Petrie and
Barbara M. Smith},
editor = {Francesca Rossi},
title = {Symmetry Breaking in Graceful Graphs},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th
International Conference, {CP} 2003, Kinsale, Ireland, September 29
- October 3, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2833},
pages = {930--934},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45193-8\_81},
doi = {10.1007/978-3-540-45193-8\_81},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/PetrieS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Smith02,
author = {Barbara M. Smith},
editor = {Pascal Van Hentenryck},
title = {A Dual Graph Translation of a Problem in 'Life'},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2002, 8th
International Conference, {CP} 2002, Ithaca, NY, USA, September 9-13,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2470},
pages = {402--414},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46135-3\_27},
doi = {10.1007/3-540-46135-3\_27},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/Smith02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/McDonaldS02,
author = {Iain McDonald and
Barbara M. Smith},
editor = {Pascal Van Hentenryck},
title = {Partial Symmetry Breaking},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2002, 8th
International Conference, {CP} 2002, Ithaca, NY, USA, September 9-13,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2470},
pages = {431--445},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46135-3\_29},
doi = {10.1007/3-540-46135-3\_29},
timestamp = {Mon, 29 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/McDonaldS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/GentMPSW01,
author = {Ian P. Gent and
Ewan MacIntyre and
Patrick Prosser and
Barbara M. Smith and
Toby Walsh},
title = {Random Constraint Satisfaction: Flaws and Structure},
journal = {Constraints An Int. J.},
volume = {6},
number = {4},
pages = {345--372},
year = {2001},
url = {https://doi.org/10.1023/A:1011454308633},
doi = {10.1023/A:1011454308633},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/GentMPSW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Smith01,
author = {Barbara M. Smith},
title = {Constructing an asymptotic phase transition in random binary constraint
satisfaction problems},
journal = {Theor. Comput. Sci.},
volume = {265},
number = {1-2},
pages = {265--283},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(01)00166-9},
doi = {10.1016/S0304-3975(01)00166-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Smith01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GentIMPS01,
author = {Ian P. Gent and
Robert W. Irving and
David F. Manlove and
Patrick Prosser and
Barbara M. Smith},
editor = {Toby Walsh},
title = {A Constraint Programming Approach to the Stable Marriage Problem},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2001, 7th
International Conference, {CP} 2001, Paphos, Cyprus, November 26 -
December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2239},
pages = {225--239},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45578-7\_16},
doi = {10.1007/3-540-45578-7\_16},
timestamp = {Tue, 13 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/GentIMPS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Smith01,
author = {Barbara M. Smith},
editor = {Toby Walsh},
title = {Dual Models of Permutation Problems},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2001, 7th
International Conference, {CP} 2001, Paphos, Cyprus, November 26 -
December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2239},
pages = {615--619},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45578-7\_50},
doi = {10.1007/3-540-45578-7\_50},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/Smith01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epia/OliveiraS01,
author = {Elias Oliveira and
Barbara M. Smith},
editor = {Pavel Brazdil and
Al{\'{\i}}pio Jorge},
title = {A Combined Constraint-Based Search Method for Single-Track Railway
Scheduling Problem},
booktitle = {Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent
Systems, Logic Programming and Constraint Solving, 10th Portuguese
Conference on Artificial Intelligence, {EPIA} 2001, Porto, Portugal,
December 17-20, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2258},
pages = {371--378},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45329-6\_36},
doi = {10.1007/3-540-45329-6\_36},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/epia/OliveiraS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SmithSW00,
author = {Barbara M. Smith and
Kostas Stergiou and
Toby Walsh},
editor = {Henry A. Kautz and
Bruce W. Porter},
title = {Using Auxiliary Variables and Implied Constraints to Model Non-Binary
Problems},
booktitle = {Proceedings of the Seventeenth National Conference on Artificial Intelligence
and Twelfth Conference on on Innovative Applications of Artificial
Intelligence, July 30 - August 3, 2000, Austin, Texas, {USA}},
pages = {182--187},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2000},
url = {http://www.aaai.org/Library/AAAI/2000/aaai00-028.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SmithSW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/GentS00,
author = {Ian P. Gent and
Barbara M. Smith},
editor = {Werner Horn},
title = {Symmetry Breaking in Constraint Programming},
booktitle = {{ECAI} 2000, Proceedings of the 14th European Conference on Artificial
Intelligence, Berlin, Germany, August 20-25, 2000},
pages = {599--603},
publisher = {{IOS} Press},
year = {2000},
timestamp = {Mon, 30 Jun 2003 10:55:01 +0200},
biburl = {https://dblp.org/rec/conf/ecai/GentS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pacpl/CurtisSW00,
author = {Suniel D. Curtis and
Barbara M. Smith and
Anthony Wren},
editor = {Carmen Gervet},
title = {Constructing Driver Schedules using Iterative Repair},
booktitle = {Proceedings of the Second International Conference on the Practical
Application of Constraint Technologies and Logic Programming, {PACPL}
2000, Crowne Plaza Midland Hotel, Manchester, UK, April 10-12, 2000},
pages = {59--78},
publisher = {Practical Application Company Ltd.},
year = {2000},
timestamp = {Thu, 01 Dec 2022 14:47:56 +0100},
biburl = {https://dblp.org/rec/conf/pacpl/CurtisSW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/BrailsfordPS99,
author = {Sally C. Brailsford and
Chris N. Potts and
Barbara M. Smith},
title = {Constraint satisfaction problems: Algorithms and applications},
journal = {Eur. J. Oper. Res.},
volume = {119},
number = {3},
pages = {557--581},
year = {1999},
url = {https://doi.org/10.1016/S0377-2217(98)00364-6},
doi = {10.1016/S0377-2217(98)00364-6},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eor/BrailsfordPS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Smith99,
author = {Barbara M. Smith},
editor = {Joxan Jaffar},
title = {The Br{\'{e}}laz Heuristic and Optimal Static Orderings},
booktitle = {Principles and Practice of Constraint Programming - CP'99, 5th International
Conference, Alexandria, Virginia, USA, October 11-14, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1713},
pages = {405--418},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-540-48085-3\_29},
doi = {10.1007/978-3-540-48085-3\_29},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/Smith99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/MacIntyrePW98,
author = {Ewan MacIntyre and
Patrick Prosser and
Barbara M. Smith and
Toby Walsh},
editor = {Michael J. Maher and
Jean{-}Francois Puget},
title = {Random Constraint Satisfaction: Theory Meets Practice},
booktitle = {Principles and Practice of Constraint Programming - CP98, 4th International
Conference, Pisa, Italy, October 26-30, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1520},
pages = {325--339},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49481-2\_24},
doi = {10.1007/3-540-49481-2\_24},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/MacIntyrePW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/SmithLW98,
author = {Barbara M. Smith and
Colin J. Layfield and
Anthony Wren},
editor = {Eugene C. Freuder and
Richard J. Wallace},
title = {A constraint programming pre-processor for a bus driver scheduling
system},
booktitle = {Constraint Programming and Large Scale Discrete Optimization, Proceedings
of a {DIMACS} Workshop, Princeton, New Jersey, USA, September 14-17,
1998},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {57},
pages = {131--148},
publisher = {{DIMACS/AMS}},
year = {1998},
url = {https://doi.org/10.1090/dimacs/057/08},
doi = {10.1090/DIMACS/057/08},
timestamp = {Mon, 22 May 2023 16:07:34 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/SmithLW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/SmithG98,
author = {Barbara M. Smith and
Stuart A. Grant},
editor = {Henri Prade},
title = {Trying Harder to Fail First},
booktitle = {13th European Conference on Artificial Intelligence, Brighton, UK,
August 23-28 1998, Proceedings.},
pages = {249--253},
publisher = {John Wiley and Sons},
year = {1998},
timestamp = {Wed, 31 Jul 2019 08:45:03 +0200},
biburl = {https://dblp.org/rec/conf/ecai/SmithG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SmithG97,
author = {Barbara M. Smith and
Stuart A. Grant},
editor = {Gert Smolka},
title = {Modelling Exceptionally Hard Constraint Satisfaction Problems},
booktitle = {Principles and Practice of Constraint Programming - CP97, Third International
Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1330},
pages = {182--195},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0017439},
doi = {10.1007/BFB0017439},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/SmithG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact2/Smith97,
author = {Barbara M. Smith},
editor = {Mark Wallace},
title = {Succeed-first or Fail-first: {A} Case Study in Variable and Value
Ordering},
booktitle = {Proceedings of the Third International Conference on the Practical
Application of Constraint Technology, {PACT} 1997, Westminster Central
Hall, London, UK, April 23-25, 1997},
pages = {321--330},
publisher = {Practical Application Company Ltd.},
year = {1997},
timestamp = {Wed, 30 Nov 2022 10:17:58 +0100},
biburl = {https://dblp.org/rec/conf/pact2/Smith97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/SmithD96,
author = {Barbara M. Smith and
Martin E. Dyer},
title = {Locating the Phase Transition in Binary Constraint Satisfaction Problems},
journal = {Artif. Intell.},
volume = {81},
number = {1-2},
pages = {155--181},
year = {1996},
url = {https://doi.org/10.1016/0004-3702(95)00052-6},
doi = {10.1016/0004-3702(95)00052-6},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/SmithD96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/SmithBHW96,
author = {Barbara M. Smith and
Sally C. Brailsford and
Peter M. Hubbard and
H. Paul Williams},
title = {The Progressive Party Problem: Integer Linear Programming and Constraint
Programming Compared},
journal = {Constraints An Int. J.},
volume = {1},
number = {1/2},
pages = {119--138},
year = {1996},
url = {https://doi.org/10.1007/BF00143880},
doi = {10.1007/BF00143880},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/SmithBHW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cor/BrailsfordHSW96,
author = {Sally C. Brailsford and
Peter M. Hubbard and
Barbara M. Smith and
H. Paul Williams},
title = {Organizing a social event - {A} difficult problem of combinatorial
optimization},
journal = {Comput. Oper. Res.},
volume = {23},
number = {9},
pages = {845--856},
year = {1996},
url = {https://doi.org/10.1016/0305-0548(96)00001-9},
doi = {10.1016/0305-0548(96)00001-9},
timestamp = {Tue, 18 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cor/BrailsfordHSW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/gentMPSW96,
author = {Ian P. Gent and
Ewan MacIntyre and
Patrick Prosser and
Barbara M. Smith and
Toby Walsh},
editor = {Eugene C. Freuder},
title = {An Empirical Study of Dynamic Variable Ordering Heuristics for the
Constraint Satisfaction Problem},
booktitle = {Proceedings of the Second International Conference on Principles and
Practice of Constraint Programming, Cambridge, Massachusetts, USA,
August 19-22, 1996},
series = {Lecture Notes in Computer Science},
volume = {1118},
pages = {179--193},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61551-2\_74},
doi = {10.1007/3-540-61551-2\_74},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/gentMPSW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GrantS96,
author = {Stuart A. Grant and
Barbara M. Smith},
editor = {Eugene C. Freuder},
title = {The Arc and Path Consistency Phase Transitions},
booktitle = {Proceedings of the Second International Conference on Principles and
Practice of Constraint Programming, Cambridge, Massachusetts, USA,
August 19-22, 1996},
series = {Lecture Notes in Computer Science},
volume = {1118},
pages = {541--542},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61551-2\_106},
doi = {10.1007/3-540-61551-2\_106},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/GrantS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/GrantS96,
author = {Stuart A. Grant and
Barbara M. Smith},
editor = {Wolfgang Wahlster},
title = {The Phase Transition Behaviour of Maintaining Arc Consistency},
booktitle = {12th European Conference on Artificial Intelligence, Budapest, Hungary,
August 11-16, 1996, Proceedings},
pages = {175--179},
publisher = {John Wiley and Sons, Chichester},
year = {1996},
timestamp = {Thu, 03 Jan 2002 11:56:53 +0100},
biburl = {https://dblp.org/rec/conf/ecai/GrantS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SmithBHW95,
author = {Barbara M. Smith and
Sally C. Brailsford and
Peter M. Hubbard and
H. Paul Williams},
editor = {Ugo Montanari and
Francesca Rossi},
title = {The Progressive Party Problem: Integer Linear Programming and Constraint
Programming Compared},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {36--52},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_3},
doi = {10.1007/3-540-60299-2\_3},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/cp/SmithBHW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Smith95,
author = {Barbara M. Smith},
editor = {Manfred Meyer},
title = {In Search of Exceptionally Difficult Constraint Satisfaction Problems},
booktitle = {Constraint Processing, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {923},
pages = {139--155},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59479-5\_23},
doi = {10.1007/3-540-59479-5\_23},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/Smith95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SmithG95,
author = {Barbara M. Smith and
Stuart A. Grant},
title = {Sparse Constraint Graphs and Exceptionally Hard Problems},
booktitle = {Proceedings of the Fourteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
August 20-25 1995, 2 Volumes},
pages = {646--654},
publisher = {Morgan Kaufmann},
year = {1995},
url = {http://ijcai.org/Proceedings/95-1/Papers/085.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:30 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SmithG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Smith94,
author = {Barbara M. Smith},
editor = {Anthony G. Cohn},
title = {The Phase Transition and the Mushy Region in Constraint Satisfaction
Problems},
booktitle = {Proceedings of the Eleventh European Conference on Artificial Intelligence,
Amsterdam, The Netherlands, August 8-12, 1994},
pages = {100--104},
publisher = {John Wiley and Sons, Chichester},
year = {1994},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Smith94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Smith92,
author = {Barbara M. Smith},
editor = {Bernd Neumann},
title = {How to Solve the Zebra Problem, or Path Consistency the Easy Way},
booktitle = {10th European Conference on Artificial Intelligence, {ECAI} 92, Vienna,
Austria, August 3-7, 1992. Proceedings},
pages = {36--37},
publisher = {John Wiley and Sons},
year = {1992},
timestamp = {Wed, 31 Jul 2019 08:44:58 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Smith92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mp/Smith88,
author = {Barbara M. Smith},
title = {Impacs - {A} bus crew scheduling system using integer programming},
journal = {Math. Program.},
volume = {42},
number = {1-3},
pages = {181--187},
year = {1988},
url = {https://doi.org/10.1007/BF01589402},
doi = {10.1007/BF01589402},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mp/Smith88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Smith86,
author = {Barbara M. Smith},
title = {Bus crew scheduling using mathematical programming},
school = {University of Leeds, {UK}},
year = {1986},
url = {http://etheses.whiterose.ac.uk/1053/},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Smith86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-10-02 00:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
