Dual Modelling of Permutation and Injection Problems

Barbara M. Smith University College Cork, Ireland http://4c.ucc.ie/~bms/

Brahim Hnich Barbara M. Smith Toby Walsh Dual Modelling of Permutation and Injection Problems http://arxiv.org/abs/1107.0038 2011 CoRR abs/1107.0038 db/journals/corr/corr1107.html#abs-1107-0038

Barbara M. Smith Jean-François Puget Constraint models for graceful graphs. 64-92 2010 15 Constraints An Int. J. 1 https://doi.org/10.1007/s10601-009-9071-6 db/journals/constraints/constraints15.html#SmithP10

Tim Januschowski Barbara M. Smith Marc R. C. van Dongen Symmetry Breaking with Polynomial Delay http://arxiv.org/abs/1012.5585 2010 CoRR abs/1012.5585 db/journals/corr/corr1012.html#abs-1012-5585

J. Christopher Beck Barbara M. Smith Introduction to the special volume on constraint programming, artificial intelligence, and operations research. 1-2 2009 171 Ann. Oper. Res. 1 https://doi.org/10.1007/s10479-008-0439-6 db/journals/anor/anor171.html#BeckS09

Hadrien Cambazard Barry O'Sullivan Barbara M. Smith A constraint-based approach to Enigma 1225. 1487-1497 2009 58 Comput. Math. Appl. 8 https://doi.org/10.1016/j.camwa.2008.11.019 db/journals/cma/cma58.html#CambazardOS09

Barbara M. Smith Observations on Symmetry Breaking. 5 2009 CP https://doi.org/10.1007/978-3-642-04244-7_3 conf/cp/2009 db/conf/cp/cp2009.html#Smith09

Armagan Tarim Barbara M. Smith Constraint programming for computing non-stationary (R, S) inventory policies. 1004-1021 2008 189 Eur. J. Oper. Res. 3 https://doi.org/10.1016/j.ejor.2006.11.048 db/journals/eor/eor189.html#TarimS08

Ian P. Gent Christopher Jefferson Tom W. Kelsey Inês Lynce Ian Miguel Peter Nightingale Barbara M. Smith Armagan Tarim Search in the patience game 'Black Hole'. 211-226 2007 20 AI Commun. 3 http://content.iospress.com/articles/ai-communications/aic405 db/journals/aicom/aicom20.html#GentJKLMNST07

Yat Chiu Law Jimmy Ho-Man Lee Barbara M. Smith Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems. 469-505 2007 12 Constraints An Int. J. 4 https://doi.org/10.1007/s10601-007-9024-x db/journals/constraints/constraints12.html#LawLS07

Barbara M. Smith Stefano Bistarelli Barry O'Sullivan Constraint Symmetry for the Soft CSP. 872-879 2007 conf/cp/2007 CP https://doi.org/10.1007/978-3-540-74970-7_66 db/conf/cp/cp2007.html#SmithBO07

David A. Cohen Peter Jeavons 0001 Christopher Jefferson Karen E. Petrie Barbara M. Smith Symmetry Definitions for Constraint Satisfaction Problems. 115-137 2006 11 Constraints An Int. J. 2-3 https://doi.org/10.1007/s10601-006-8059-8 db/journals/constraints/constraints11.html#CohenJJPS06

Brahim Hnich Steven D. Prestwich Evgeny Selensky Barbara M. Smith Constraint Models for the Covering Test Problem. 199-219 2006 11 Constraints An Int. J. 2-3 https://doi.org/10.1007/s10601-006-7094-9 db/journals/constraints/constraints11.html#HnichPSS06

David A. Cohen Peter Jeavons 0001 Christopher Jefferson Karen E. Petrie Barbara M. Smith Constraint Symmetry and Solution Symmetry. 2006 conf/aaai/2006 AAAI db/conf/aaai/aaai2006.html#CohenJJPS06 http://www.aaai.org/Library/AAAI/2006/aaai06-257.php 1589-1592 Barbara M. Smith Constraint Programming Models for Graceful Graphs. 545-559 2006 conf/cp/2006 CP https://doi.org/10.1007/11889205_39 db/conf/cp/cp2006.html#Smith06 J. Christopher Beck Barbara M. Smith 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 3990 2006 3-540-34306-7 CPAIOR Lecture Notes in Computer Science Springer https://doi.org/10.1007/11757375 db/conf/cpaior/cpaior2006.html Barbara M. Smith Modelling. 377-406 2006 Handbook of Constraint Programming https://doi.org/10.1016/S1574-6526(06)80015-5 reference/fai/2 db/reference/fai/fai2.html#Smith06 David A. Cohen Peter Jeavons 0001 Christopher Jefferson Karen E. Petrie Barbara M. Smith Symmetry Definitions for Constraint Satisfaction Problems. 17-31 2005 conf/cp/2005 CP https://doi.org/10.1007/11564751_5 db/conf/cp/cp2005.html#CohenJJPS05 Ian P. Gent Tom W. Kelsey Steve Linton Iain McDonald Ian Miguel Barbara M. Smith Conditional Symmetry Breaking. 256-270 2005 conf/cp/2005 CP https://doi.org/10.1007/11564751_21 https://www.wikidata.org/entity/Q61442811 db/conf/cp/cp2005.html#GentKLMMS05 Barbara M. Smith Caching Search States in Permutation Problems. 637-651 2005 conf/cp/2005 CP https://doi.org/10.1007/11564751_47 db/conf/cp/cp2005.html#Smith05 Barbara M. Smith Symmetry and Search in a Network Design Problem. 336-350 2005 conf/cpaior/2005 CPAIOR https://doi.org/10.1007/11493853_25 db/conf/cpaior/cpaior2005.html#Smith05 Barbara M. Smith Paula Sturdy Value Ordering for Finding All Solutions. 311-316 2005 conf/ijcai/2005 IJCAI http://ijcai.org/Proceedings/05/Papers/1122.pdf db/conf/ijcai/ijcai2005.html#SmithS05 Alan M. Frisch Brahim Hnich Ian Miguel Barbara M. Smith Toby Walsh Transforming and Refining Abstract Constraint Specifications. 76-91 2005 conf/sara/2005 SARA https://doi.org/10.1007/11527862_6 db/conf/sara/sara2005.html#FrischHMSW05

Brahim Hnich Toby Walsh Barbara M. Smith Dual Modelling of Permutation and Injection Problems. 357-391 2004 21 J. Artif. Intell. Res. https://doi.org/10.1613/jair.1351 db/journals/jair/jair21.html#HnichWS04

Barbara M. Smith Karen E. Petrie Ian P. Gent Models and Symmetry Breaking for 'Peaceable Armies of Queens'. 271-286 https://doi.org/10.1007/978-3-540-24664-0_19 2004 conf/cpaior/2004 CPAIOR db/conf/cpaior/cpaior2004.html#SmithPG04 Ian P. Gent Patrick Prosser Barbara M. Smith Wu Wei Supertree Construction with Constraint Programming. 837-841 https://doi.org/10.1007/978-3-540-45193-8_63 2003 conf/cp/2003 CP db/conf/cp/cp2003.html#GentPSW03 Karen E. Petrie Barbara M. Smith Symmetry Breaking in Graceful Graphs. 930-934 https://doi.org/10.1007/978-3-540-45193-8_81 2003 conf/cp/2003 CP db/conf/cp/cp2003.html#PetrieS03 Barbara M. Smith A Dual Graph Translation of a Problem in 'Life'. 402-414 2002 conf/cp/2002 CP https://doi.org/10.1007/3-540-46135-3_27 https://www.wikidata.org/entity/Q29997775 db/conf/cp/cp2002.html#Smith02 Iain McDonald Barbara M. Smith Partial Symmetry Breaking. 431-445 2002 conf/cp/2002 CP https://doi.org/10.1007/3-540-46135-3_29 db/conf/cp/cp2002.html#McDonaldS02

Ian P. Gent Ewan MacIntyre Patrick Prosser Barbara M. Smith Toby Walsh Random Constraint Satisfaction: Flaws and Structure. 345-372 2001 6 Constraints An Int. J. 4 db/journals/constraints/constraints6.html#GentMPSW01 https://doi.org/10.1023/A:1011454308633

Barbara M. Smith Constructing an asymptotic phase transition in random binary constraint satisfaction problems. 265-283 2001 265 Theor. Comput. Sci. 1-2 db/journals/tcs/tcs265.html#Smith01 https://doi.org/10.1016/S0304-3975(01)00166-9

Ian P. Gent Robert W. Irving David F. Manlove Patrick Prosser Barbara M. Smith A Constraint Programming Approach to the Stable Marriage Problem. 225-239 2001 conf/cp/2001 CP https://doi.org/10.1007/3-540-45578-7_16 db/conf/cp/cp2001.html#GentIMPS01 Barbara M. Smith Dual Models of Permutation Problems. 615-619 2001 conf/cp/2001 CP https://doi.org/10.1007/3-540-45578-7_50 db/conf/cp/cp2001.html#Smith01 Elias Oliveira Barbara M. Smith A Combined Constraint-Based Search Method for Single-Track Railway Scheduling Problem. 371-378 https://doi.org/10.1007/3-540-45329-6_36 2001 conf/epia/2001 EPIA db/conf/epia/epia2001.html#OliveiraS01 Barbara M. Smith Kostas Stergiou 0001 Toby Walsh Using Auxiliary Variables and Implied Constraints to Model Non-Binary Problems. 182-187 2000 conf/aaai/2000 AAAI/IAAI db/conf/aaai/aaai2000.html#SmithSW00 http://www.aaai.org/Library/AAAI/2000/aaai00-028.php Ian P. Gent Barbara M. Smith Symmetry Breaking in Constraint Programming. 599-603 2000 conf/ecai/2000 ECAI db/conf/ecai/ecai2000.html#GentS00 Suniel D. Curtis Barbara M. Smith Anthony Wren Constructing Driver Schedules using Iterative Repair. 59-78 2000 PACPL conf/pacpl/2000 db/conf/pacpl/pacpl2000.html#CurtisSW00

Sally C. Brailsford Chris N. Potts Barbara M. Smith Constraint satisfaction problems: Algorithms and applications. 557-581 1999 119 Eur. J. Oper. Res. 3 https://doi.org/10.1016/S0377-2217(98)00364-6 https://www.wikidata.org/entity/Q57275902 db/journals/eor/eor119.html#BrailsfordPS99

Barbara M. Smith The Brélaz Heuristic and Optimal Static Orderings. 405-418 1999 conf/cp/1999 CP db/conf/cp/cp99.html#Smith99 https://doi.org/10.1007/978-3-540-48085-3_29 Ewan MacIntyre Patrick Prosser Barbara M. Smith Toby Walsh Random Constraint Satisfaction: Theory Meets Practice. 325-339 https://doi.org/10.1007/3-540-49481-2_24 1998 conf/cp/1998 CP db/conf/cp/cp98.html#MacIntyrePW98 Barbara M. Smith Colin J. Layfield Anthony Wren A constraint programming pre-processor for a bus driver scheduling system. 131-148 1998 Constraint Programming and Large Scale Discrete Optimization conf/dimacs/dimacs57 db/conf/dimacs/dimacs57.html#SmithLW98 https://doi.org/10.1090/dimacs/057/08 Barbara M. Smith Stuart A. Grant Trying Harder to Fail First. 249-253 1998 conf/ecai/1998 ECAI db/conf/ecai/ecai98.html#SmithG98 Barbara M. Smith Stuart A. Grant Modelling Exceptionally Hard Constraint Satisfaction Problems. 182-195 1997 conf/cp/1997 CP db/conf/cp/cp97.html#SmithG97 https://doi.org/10.1007/BFb0017439 Barbara M. Smith Succeed-first or Fail-first: A Case Study in Variable and Value Ordering. 321-330 1997 PACT conf/pact2/1997 db/conf/pact2/pact1997.html#Smith97

Barbara M. Smith Martin E. Dyer Locating the Phase Transition in Binary Constraint Satisfaction Problems. 155-181 1996 81 Artif. Intell. 1-2 db/journals/ai/ai81.html#SmithD96 https://doi.org/10.1016/0004-3702(95)00052-6

Barbara M. Smith Sally C. Brailsford Peter M. Hubbard H. Paul Williams The Progressive Party Problem: Integer Linear Programming and Constraint Programming Compared. 119-138 1996 1 Constraints An Int. J. 1/2 db/journals/constraints/constraints1.html#SmithBHW96 https://doi.org/10.1007/BF00143880

Sally C. Brailsford Peter M. Hubbard Barbara M. Smith H. Paul Williams Organizing a social event - A difficult problem of combinatorial optimization. 845-856 1996 23 Comput. Oper. Res. 9 https://doi.org/10.1016/0305-0548(96)00001-9 db/journals/cor/cor23.html#BrailsfordHSW96

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. 179-193 1996 conf/cp/1996 CP db/conf/cp/cp96.html#gentMPSW96 https://doi.org/10.1007/3-540-61551-2_74 Stuart A. Grant Barbara M. Smith The Arc and Path Consistency Phase Transitions. 541-542 1996 conf/cp/1996 CP db/conf/cp/cp96.html#GrantS96 https://doi.org/10.1007/3-540-61551-2_106 Stuart A. Grant Barbara M. Smith The Phase Transition Behaviour of Maintaining Arc Consistency. 175-179 1996 conf/ecai/1996 ECAI db/conf/ecai/ecai96.html#GrantS96 Barbara M. Smith Sally C. Brailsford Peter M. Hubbard H. Paul Williams The Progressive Party Problem: Integer Linear Programming and Constraint Programming Compared. 36-52 1995 conf/cp/1995 CP db/conf/cp/cp95.html#SmithBHW95 https://doi.org/10.1007/3-540-60299-2_3 Barbara M. Smith In Search of Exceptionally Difficult Constraint Satisfaction Problems. 139-155 1995 conf/cp/1995s Constraint Processing, Selected Papers db/conf/cp/cp1995s.html#Smith95 https://doi.org/10.1007/3-540-59479-5_23 Barbara M. Smith Stuart A. Grant Sparse Constraint Graphs and Exceptionally Hard Problems. 646-654 1995 conf/ijcai/1995 IJCAI (1) db/conf/ijcai/ijcai95.html#SmithG95 http://ijcai.org/Proceedings/95-1/Papers/085.pdf Barbara M. Smith The Phase Transition and the Mushy Region in Constraint Satisfaction Problems. 100-104 1994 conf/ecai/1994 ECAI db/conf/ecai/ecai94.html#Smith94 Barbara M. Smith How to Solve the Zebra Problem, or Path Consistency the Easy Way. 36-37 1992 conf/ecai/1992 ECAI db/conf/ecai/ecai92.html#Smith92

Barbara M. Smith Impacs - A bus crew scheduling system using integer programming. 181-187 1988 42 Math. Program. 1-3 https://doi.org/10.1007/BF01589402 db/journals/mp/mp42.html#Smith88

Barbara M. Smith Bus crew scheduling using mathematical programming. 1986 University of Leeds, UK http://etheses.whiterose.ac.uk/1053/ https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.277275 British Library, EThOS J. Christopher Beck Stefano Bistarelli Sally C. Brailsford Hadrien Cambazard David A. Cohen Suniel D. Curtis Marc R. C. van Dongen Martin E. Dyer Alan M. Frisch Ian P. Gent Stuart A. Grant Brahim Hnich Peter M. Hubbard Robert W. Irving Tim Januschowski Peter Jeavons 0001 Christopher Jefferson Thomas W. KelseyTom W. Kelsey Yat Chiu Law Colin J. Layfield Jimmy Ho-Man Lee Steve Linton Inês Lynce Ewan MacIntyre David F. Manlove Iain McDonald Ian Miguel Peter Nightingale Elias de OliveiraElias Oliveira Barry O'Sullivan Karen E. Petrie Chris N. Potts Steven D. Prestwich Patrick Prosser Jean-François Puget Evgeny Selensky Kostas Stergiou 0001 Paula Sturdy Armagan Tarim Toby Walsh Wu Wei H. Paul Williams Anthony Wren