@inproceedings{araya-2008-cse-numcsp, author = {Ignacio Araya and Bertrand Neveu and Gilles Trombettoni}, editor = {Peter J. Stuckey}, title = {Exploiting Common Subexpressions in Numerical CSPs}, booktitle = {Principles and Practice of Constraint Programming, 14th International Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = 5202, pages = {342--357}, publisher = {Springer}, year = 2008, url = {https://doi.org/10.1007/978-3-540-85958-1_23}, doi = {10.1007/978-3-540-85958-1_23}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/cp/ArayaNT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{baatar-2011-radiation, author = {Davaatseren Baatar and Natashia Boland and Sebastian Brand and Peter J. Stuckey}, title = {{CP} and {IP} approaches to cancer radiotherapy delivery optimization}, journal = {Constraints An Int. J.}, volume = 16, number = 2, pages = {173--194}, year = 2011, url = {https://doi.org/10.1007/s10601-010-9104-1}, doi = {10.1007/s10601-010-9104-1}, timestamp = {Fri, 13 Mar 2020 10:58:27 +0100}, biburl = {https://dblp.org/rec/journals/constraints/BaatarBBS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{belin-2014-interactive, author = {Bruno Belin and Marc Christie and Charlotte Truchet}, editor = {Helmut Simonis}, title = {Interactive Design of Sustainable Cities with a Distributed Local Search Solver}, booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming - 11th International Conference, {CPAIOR} 2014, Cork, Ireland, May 19-23, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = 8451, pages = {104--119}, publisher = {Springer}, year = 2014, url = {https://doi.org/10.1007/978-3-319-07046-9_8}, doi = {10.1007/978-3-319-07046-9_8}, timestamp = {Tue, 14 May 2019 10:00:47 +0200}, biburl = {https://dblp.org/rec/conf/cpaior/BelinCT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{belov-2016-linearisation, author = {Gleb Belov and Peter J. Stuckey and Guido Tack and Mark Wallace}, editor = {Michel Rueher}, title = {Improved Linearization of Constraint Programming Models}, booktitle = {Principles and Practice of Constraint Programming - 22nd International Conference, {CP} 2016, Toulouse, France, September 5-9, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = 9892, pages = {49--65}, publisher = {Springer}, year = 2016, url = {https://doi.org/10.1007/978-3-319-44953-1_4}, doi = {10.1007/978-3-319-44953-1_4}, timestamp = {Fri, 27 Mar 2020 09:00:36 +0100}, biburl = {https://dblp.org/rec/conf/cp/BelovSTW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{bjordal-2015-fzn2oscarcbls, author = {Gustav Bj{\"{o}}rdal and Jean{-}No{\"{e}}l Monette and Pierre Flener and Justin Pearson}, title = {A constraint-based local search backend for MiniZinc}, journal = {Constraints An Int. J.}, volume = 20, number = 3, pages = {325--345}, year = 2015, url = {https://doi.org/10.1007/s10601-015-9184-z}, doi = {10.1007/s10601-015-9184-z}, timestamp = {Fri, 13 Mar 2020 10:58:30 +0100}, biburl = {https://dblp.org/rec/journals/constraints/BjordalMFP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{chiarandini-2012-gbac, author = {Marco Chiarandini and Luca Di Gaspero and Stefano Gualandi and Andrea Schaerf}, title = {The balanced academic curriculum problem revisited}, journal = {J. Heuristics}, volume = 18, number = 1, pages = {119--148}, year = 2012, url = {https://doi.org/10.1007/s10732-011-9158-2}, doi = {10.1007/s10732-011-9158-2}, timestamp = {Fri, 30 Nov 2018 13:23:27 +0100}, biburl = {https://dblp.org/rec/journals/heuristics/ChiarandiniGGS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{cocke-1970-cse, author = {Cocke, John}, title = {Global Common Subexpression Elimination}, year = 1970, issue_date = {July 1970}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, volume = 5, number = 7, issn = {0362-1340}, url = {https://doi.org/10.1145/390013.808480}, doi = {10.1145/390013.808480}, journal = {SIGPLAN Not.}, month = jul, pages = {20–24}, numpages = 5 } @article{davis-1962-dpll, author = {Davis, Martin and Logemann, George and Loveland, Donald}, title = {A Machine Program for Theorem-Proving}, year = 1962, issue_date = {July 1962}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, volume = 5, number = 7, issn = {0001-0782}, url = {https://doi.org/10.1145/368273.368557}, doi = {10.1145/368273.368557}, journal = {Commun. ACM}, month = jul, pages = {394–397}, numpages = 4 } @inproceedings{ek-2020-online, author = {Alexander Ek and Maria Garcia de la Banda and Andreas Schutt and Peter J. Stuckey and Guido Tack}, title = {Modelling and Solving Online Optimisation Problems}, booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI} 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA, February 7-12, 2020}, pages = {1477--1485}, publisher = {{AAAI} Press}, year = 2020, url = {https://aaai.org/ojs/index.php/AAAI/article/view/5506}, timestamp = {Tue, 02 Feb 2021 08:00:20 +0100}, biburl = {https://dblp.org/rec/conf/aaai/EkBSST20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{feydy-2011-half-reif, author = {Thibaut Feydy and Zoltan Somogyi and Peter J. Stuckey}, editor = {Jimmy Ho{-}Man Lee}, title = {Half Reification and Flattening}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2011 - 17th International Conference, {CP} 2011, Perugia, Italy, September 12-16, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = 6876, pages = {286--301}, publisher = {Springer}, year = 2011, url = {https://doi.org/10.1007/978-3-642-23786-7_23}, doi = {10.1007/978-3-642-23786-7_23}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/cp/FeydySS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{freuder-1997-holygrail, author = {Eugene C. Freuder}, title = {In Pursuit of the Holy Grail}, journal = {Constraints An Int. J.}, volume = 2, number = 1, pages = {57--61}, year = 1997, url = {https://doi.org/10.1023/A:1009749006768}, doi = {10.1023/A:1009749006768}, timestamp = {Fri, 13 Mar 2020 10:58:24 +0100}, biburl = {https://dblp.org/rec/journals/constraints/Freuder97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @misc{gecode-2021-gecode, author = {{Gecode Team}}, title = {Gecode: A Generic Constraint Development Environment}, year = 2021, url = {http://www.gecode.org} } @inproceedings{hebrard-2005-diverse, author = {Emmanuel Hebrard and Brahim Hnich and Barry O'Sullivan and Toby Walsh}, editor = {Manuela M. Veloso and Subbarao Kambhampati}, title = {Finding Diverse and Similar Solutions in Constraint Programming}, booktitle = {Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}}, pages = {372--377}, publisher = {{AAAI} Press / The {MIT} Press}, year = 2005, url = {http://www.aaai.org/Library/AAAI/2005/aaai05-059.php}, timestamp = {Mon, 10 Dec 2012 15:34:42 +0100}, biburl = {https://dblp.org/rec/conf/aaai/HebrardHOW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{ingmar-2020-diverse, author = {Linnea Ingmar and Maria Garcia de la Banda and Peter J. Stuckey and Guido Tack}, title = {Modelling Diversity of Solutions}, booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI} 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA, February 7-12, 2020}, pages = {1528--1535}, publisher = {{AAAI} Press}, year = 2020, url = {https://aaai.org/ojs/index.php/AAAI/article/view/5512}, timestamp = {Tue, 02 Feb 2021 08:00:14 +0100}, biburl = {https://dblp.org/rec/conf/aaai/IngmarBST20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @book{jaillet-2021-online, title = {Online Optimization}, author = {Jaillet, P. and Wagner, M.R.}, isbn = 9780387717715, series = {International Series in Operations Research \& Management Science}, year = 2021, publisher = {Springer US} } @article{jones-2002-multi-objective, author = {Dylan F. Jones and S. Keyvan Mirrazavi and Mehrdad Tamiz}, title = {Multi-objective meta-heuristics: An overview of the current state-of-the-art}, journal = {Eur. J. Oper. Res.}, volume = 137, number = 1, pages = {1--9}, year = 2002, url = {https://doi.org/10.1016/S0377-2217(01)00123-0}, doi = {10.1016/S0377-2217(01)00123-0}, timestamp = {Fri, 21 Feb 2020 13:15:05 +0100}, biburl = {https://dblp.org/rec/journals/eor/JonesMT02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{leo-2015-multipass, author = {Kevin Leo and Guido Tack}, editor = {Qiang Yang and Michael J. Wooldridge}, title = {Multi-Pass High-Level Presolving}, booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July 25-31, 2015}, pages = {346--352}, publisher = {{AAAI} Press}, year = 2015, url = {http://ijcai.org/Abstract/15/055}, timestamp = {Tue, 20 Aug 2019 16:16:43 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/LeoT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{marinov-2005-sat-optimisations, author = {Darko Marinov and Sarfraz Khurshid and Suhabe Bugrara and Lintao Zhang and Martin C. Rinard}, editor = {Fahiem Bacchus and Toby Walsh}, title = {Optimizations for Compiling Declarative Models into Boolean Formulas}, booktitle = {Theory and Applications of Satisfiability Testing, 8th International Conference, {SAT} 2005, St. Andrews, UK, June 19-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = 3569, pages = {187--202}, publisher = {Springer}, year = 2005, url = {https://doi.org/10.1007/11499107_14}, doi = {10.1007/11499107_14}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/sat/MarinovKBZR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @book{marriott-1998-clp, location = {Cambridge, Mass}, title = {Programming with constraints: an introduction}, isbn = {978-0-262-13341-8}, shorttitle = {Programming with constraints}, pagetotal = 467, publisher = {{MIT} Press}, author = {Marriott, Kim and Stuckey, Peter J.}, date = 1998, keywords = {Constraint programming (Computer science), Logic programming}, } @inproceedings{mears-2014-option, author = {Christopher Mears and Andreas Schutt and Peter J. Stuckey and Guido Tack and Kim Marriott and Mark Wallace}, editor = {Helmut Simonis}, title = {Modelling with Option Types in MiniZinc}, booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming - 11th International Conference, {CPAIOR} 2014, Cork, Ireland, May 19-23, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = 8451, pages = {88--103}, publisher = {Springer}, year = 2014, url = {https://doi.org/10.1007/978-3-319-07046-9_7}, doi = {10.1007/978-3-319-07046-9_7}, timestamp = {Tue, 14 May 2019 10:00:47 +0200}, biburl = {https://dblp.org/rec/conf/cpaior/MearsSSTMW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{michel-2005-comet, author = {Laurent Michel and Pascal Van Hentenryck}, editor = {Peter van Beek}, title = {The Comet Programming Language and System}, 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 = {881--881}, publisher = {Springer}, year = 2005, url = {https://doi.org/10.1007/11564751_119}, doi = {10.1007/11564751_119}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/cp/MichelH05a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{nethercote-2007-minizinc, author = {Nicholas Nethercote and Peter J. Stuckey and Ralph Becket and Sebastian Brand and Gregory J. Duck and Guido Tack}, editor = {Christian Bessiere}, title = {MiniZinc: Towards a Standard {CP} Modelling Language}, 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 = {529--543}, publisher = {Springer}, year = 2007, url = {https://doi.org/10.1007/978-3-540-74970-7_38}, doi = {10.1007/978-3-540-74970-7_38}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/cp/NethercoteSBBDT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{pisinger-2007-heuristic, author = {David Pisinger and Stefan Ropke}, title = {A general heuristic for vehicle routing problems}, journal = {Comput. Oper. Res.}, volume = 34, number = 8, pages = {2403--2435}, year = 2007, url = {https://doi.org/10.1016/j.cor.2005.09.012}, doi = {10.1016/j.cor.2005.09.012}, timestamp = {Tue, 18 Feb 2020 13:56:22 +0100}, biburl = {https://dblp.org/rec/journals/cor/PisingerR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{rendl-2009-enhanced-tailoring, author = {Andrea Rendl and Ian Miguel and Ian P. Gent and Christopher Jefferson}, editor = {Vadim Bulitko and J. Christopher Beck}, title = {Automatically Enhancing Constraint Model Instances during Tailoring}, booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation, {SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009}, publisher = {{AAAI}}, year = 2009, url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/824}, timestamp = {Tue, 09 Feb 2021 08:32:53 +0100}, biburl = {https://dblp.org/rec/conf/sara/RendlMGJ09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{rendl-2015-minisearch, author = {Andrea Rendl and Tias Guns and Peter J. Stuckey and Guido Tack}, editor = {Gilles Pesant}, title = {MiniSearch: {A} Solver-Independent Meta-Search Language for MiniZinc}, booktitle = {Principles and Practice of Constraint Programming - 21st International Conference, {CP} 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = 9255, pages = {376--392}, publisher = {Springer}, year = 2015, url = {https://doi.org/10.1007/978-3-319-23219-5_27}, doi = {10.1007/978-3-319-23219-5_27}, timestamp = {Sun, 25 Oct 2020 23:13:15 +0100}, biburl = {https://dblp.org/rec/conf/cp/RendlGST15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{ropke-2006-adaptive, author = {Stefan Ropke and David Pisinger}, title = {An Adaptive Large Neighborhood Search Heuristic for the Pickup and Delivery Problem with Time Windows}, journal = {Transp. Sci.}, volume = 40, number = 4, pages = {455--472}, year = 2006, url = {https://doi.org/10.1287/trsc.1050.0135}, doi = {10.1287/trsc.1050.0135}, timestamp = {Tue, 08 Sep 2020 13:28:27 +0200}, biburl = {https://dblp.org/rec/journals/transci/RopkeP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{schiendorfer-2018-minibrass, author = {Alexander Schiendorfer and Alexander Knapp and Gerrit Anders and Wolfgang Reif}, title = {MiniBrass: Soft constraints for MiniZinc}, journal = {Constraints An Int. J.}, volume = 23, number = 4, pages = {403--450}, year = 2018, url = {https://doi.org/10.1007/s10601-018-9289-2}, doi = {10.1007/s10601-018-9289-2}, timestamp = {Mon, 26 Oct 2020 09:00:47 +0100}, biburl = {https://dblp.org/rec/journals/constraints/SchiendorferKAR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{schrijvers-2013-combinators, author = {Tom Schrijvers and Guido Tack and Pieter Wuille and Horst Samulowitz and Peter J. Stuckey}, title = {Search combinators}, journal = {Constraints An Int. J.}, volume = 18, number = 2, pages = {269--305}, year = 2013, url = {https://doi.org/10.1007/s10601-012-9137-8}, doi = {10.1007/s10601-012-9137-8}, timestamp = {Fri, 13 Mar 2020 10:58:29 +0100}, biburl = {https://dblp.org/rec/journals/constraints/SchrijversTWSS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{schulte-2008-propagation, author = {Christian Schulte and Peter J. Stuckey}, title = {Efficient constraint propagation engines}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = 31, number = 1, pages = {2:1--2:43}, year = 2008, url = {https://doi.org/10.1145/1452044.1452046}, doi = {10.1145/1452044.1452046}, timestamp = {Tue, 06 Nov 2018 12:51:29 +0100}, biburl = {https://dblp.org/rec/journals/toplas/SchulteS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{shaw-1998-local-search, author = {Paul Shaw}, editor = {Michael J. Maher and Jean{-}Francois Puget}, title = {Using Constraint Programming and Local Search Methods to Solve Vehicle Routing Problems}, 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 = {417--431}, publisher = {Springer}, year = 1998, url = {https://doi.org/10.1007/3-540-49481-2_30}, doi = {10.1007/3-540-49481-2_30}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/cp/Shaw98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @book{silvano-1990-knapsack, author = {Martello, Silvano and Toth, Paolo}, title = {Knapsack Problems: Algorithms and Computer Implementations}, year = 1990, isbn = 0471924202, publisher = {John Wiley \& Sons, Inc.}, address = {USA} } @article{stuckey-2010-challenge, author = {Peter J. Stuckey and Ralph Becket and Julien Fischer}, title = {Philosophy of the MiniZinc challenge}, journal = {Constraints An Int. J.}, volume = 15, number = 3, pages = {307--316}, year = 2010, url = {https://doi.org/10.1007/s10601-010-9093-0}, doi = {10.1007/s10601-010-9093-0}, timestamp = {Fri, 13 Mar 2020 10:58:27 +0100}, biburl = {https://dblp.org/rec/journals/constraints/StuckeyBF10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{stuckey-2013-functions, author = {Peter J. Stuckey and Guido Tack}, editor = {Carla P. Gomes and Meinolf Sellmann}, title = {MiniZinc with Functions}, booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems, 10th International Conference, {CPAIOR} 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = 7874, pages = {268--283}, publisher = {Springer}, year = 2013, url = {https://doi.org/10.1007/978-3-642-38171-3_18}, doi = {10.1007/978-3-642-38171-3_18}, timestamp = {Tue, 14 May 2019 10:00:47 +0200}, biburl = {https://dblp.org/rec/conf/cpaior/StuckeyT13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{stuckey-2014-challenge, author = {Peter J. Stuckey and Thibaut Feydy and Andreas Schutt and Guido Tack and Julien Fischer}, title = {The MiniZinc Challenge 2008-2013}, journal = {{AI} Mag.}, volume = 35, number = 2, pages = {55--60}, year = 2014, url = {https://doi.org/10.1609/aimag.v35i2.2539}, doi = {10.1609/aimag.v35i2.2539}, timestamp = {Tue, 25 Aug 2020 16:50:56 +0200}, biburl = {https://dblp.org/rec/journals/aim/StuckeyFSTF14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @book{wallis-2011-combinatorics, title = {Introduction to Combinatorics}, author = {Wallis, W.D. and George, J.}, isbn = 9781439806234, series = {Discrete Mathematics and Its Applications}, year = 2011, publisher = {Taylor \& Francis} } @article{warren-1983-wam, title = {An abstract Prolog instruction set}, author = {Warren, David HD}, journal = {Technical note 309}, year = 1983, publisher = {SRI International} } @book{wolsey-1988-mip, title = {Integer and Combinatorial Optimization}, author = {Wolsey, L.A. and Nemhauser, G.L.}, isbn = 9780471828198, lccn = 87034067, series = {Wiley Series in Discrete Mathematics and Optimization}, year = 1988, publisher = {Wiley} }