@book{allen-1978-lisp,
	author = {Allen, John},
	title = {Anatomy of LISP},
	year = 1978,
	isbn = {007001115X},
	publisher = {McGraw-Hill, Inc.},
	address = {USA},
}

@phdthesis{akgun-2014-essence,
	author = {{\"{O}}zg{\"{u}}r Akg{\"{u}}n},
	title = {Extensible automated constraint modelling via refinement of abstract
	         problem specifications},
	school = {University of St Andrews, {UK}},
	year = {2014},
	url = {http://hdl.handle.net/10023/6547},
	timestamp = {Mon, 15 Aug 2016 18:48:06 +0200},
	biburl = {https://dblp.org/rec/phd/ethos/Akgun14.bib},
	bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{akgun-2013-auto-ess,
	author = {Ozgur Akgun and Alan M. Frisch and Ian P. Gent and Bilal Syed
	          Hussain and Christopher Jefferson and Lars Kotthoff and Ian Miguel
	          and Peter Nightingale},
	editor = {Christian Schulte},
	title = {Automated Symmetry Breaking and Model Selection in Conjure},
	booktitle = {Principles and Practice of Constraint Programming - 19th
	             International Conference, {CP} 2013, Uppsala, Sweden, September
	             16-20, 2013. Proceedings},
	series = {Lecture Notes in Computer Science},
	volume = {8124},
	pages = {107--116},
	publisher = {Springer},
	year = {2013},
	url = {https://doi.org/10.1007/978-3-642-40627-0_11},
	doi = {10.1007/978-3-642-40627-0_11},
	timestamp = {Tue, 14 May 2019 10:00:45 +0200},
	biburl = {https://dblp.org/rec/conf/cp/AkgunFGHJKMN13.bib},
	bibsource = {dblp computer science bibliography, https://dblp.org},
}

@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},
}

@book{baader-1998-term-rewriting,
	place = {Cambridge},
	title = {Term Rewriting and All That},
	doi = {10.1017/CBO9781139172752},
	publisher = {Cambridge University Press},
	author = {Baader, Franz and Nipkow, Tobias},
	year = 1998,
}

@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},
}

@article{balas-1989-pctsp,
	author = {Egon Balas},
	title = {The prize collecting traveling salesman problem},
	journal = {Networks},
	volume = 19,
	number = 6,
	pages = {621--636},
	year = 1989,
	url = {https://doi.org/10.1002/net.3230190602},
	doi = {10.1002/net.3230190602},
	timestamp = {Sun, 28 May 2017 13:19:52 +0200},
	biburl = {https://dblp.org/rec/journals/networks/Balas89.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-linearization,
	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},
}

@software{biere-2021-kissat,
	title = {Kissat},
	version = {2021},
	year = {2021},
	author = {Armin Biere},
	url = {http://fmv.jku.at/kissat/},
}

@book{biere-2021-sat,
	title = {Handbook of Satisfiability},
	author = {Biere, A. and Heule, M. and Van Maaren, H. and Walsh, T.},
	isbn = 9781643681610,
	series = {Frontiers in artificial intelligence and applications},
	year = 2021,
	publisher = {IOS Press},
	edition = 2,
}

@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},
}

@inproceedings{brand-2006-propagation,
	author = {Sebastian Brand and Roland H. C. Yap},
	editor = {Sandro Etalle and Miroslaw Truszczynski},
	title = {Towards "Propagation = Logic + Control"},
	booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006,
	             Seattle, WA, USA, August 17-20, 2006, Proceedings},
	series = {Lecture Notes in Computer Science},
	volume = 4079,
	pages = {102--116},
	publisher = {Springer},
	year = 2006,
	url = {https://doi.org/10.1007/11799573_10},
	doi = {10.1007/11799573_10},
	timestamp = {Tue, 14 May 2019 10:00:48 +0200},
	biburl = {https://dblp.org/rec/conf/iclp/BrandY06.bib},
	bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{carlsson-1997-sicstus,
	author = {Mats Carlsson and Greger Ottosson and Bj{\"{o}}rn Carlson},
	editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen},
	title = {An Open-Ended Finite Domain Constraint Solver},
	booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th
	             International Symposium, PLILP'97, Including a Special Trach on
	             Declarative Programming Languages in Education, Southampton, UK,
	             September 3-5, 1997, Proceedings},
	series = {Lecture Notes in Computer Science},
	volume = 1292,
	pages = {191--206},
	publisher = {Springer},
	year = 1997,
	url = {https://doi.org/10.1007/BFb0033845},
	doi = {10.1007/BFb0033845},
	timestamp = {Tue, 14 May 2019 10:00:36 +0200},
	biburl = {https://dblp.org/rec/conf/plilp/CarlssonOC97.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},
}

@software{chuffed-2021-chuffed,
	author = {Geoffrey Chu and Peter J. Stuckey and Andreas Schutt and Thorsten
	          Ehlers and Graeme Gange and Kathryn Francis},
	title = {Chuffed, a lazy clause generation solver},
	year = 2021,
	url = {https://github.com/chuffed/chuffed},
	version = {0.10.3},
}

@inproceedings{choi-2006-fin-cons,
	author = {Chiu Wo Choi and Warwick Harvey and J. H. M. Lee and Peter J.
	          Stuckey},
	editor = {Abdul Sattar and Byeong{-}Ho Kang},
	title = {Finite Domain Bounds Consistency Revisited},
	booktitle = {{AI} 2006: Advances in Artificial Intelligence, 19th Australian
	             Joint Conference on Artificial Intelligence, Hobart, Australia,
	             December 4-8, 2006, Proceedings},
	series = {Lecture Notes in Computer Science},
	volume = 4304,
	pages = {49--58},
	publisher = {Springer},
	year = 2006,
	url = {https://doi.org/10.1007/11941439_9},
	doi = {10.1007/11941439_9},
	timestamp = {Mon, 04 Nov 2019 12:36:13 +0100},
	biburl = {https://dblp.org/rec/conf/ausai/ChoiHLS06.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,
}

@inproceedings{cook-1971-sat,
	author = {Stephen A. Cook},
	editor = {Michael A. Harrison and Ranan B. Banerji and Jeffrey D. Ullman},
	title = {The Complexity of Theorem-Proving Procedures},
	booktitle = {Proceedings of the 3rd Annual {ACM} Symposium on Theory of
	             Computing, May 3-5, 1971, Shaker Heights, Ohio, {USA}},
	pages = {151--158},
	publisher = {{ACM}},
	year = 1971,
	url = {https://doi.org/10.1145/800157.805047},
	doi = {10.1145/800157.805047},
	timestamp = {Mon, 26 Nov 2018 15:05:57 +0100},
	biburl = {https://dblp.org/rec/conf/stoc/Cook71.bib},
	bibsource = {dblp computer science bibliography, https://dblp.org},
}

@article{dantzig-1955-simplex,
	title = {The generalized simplex method for minimizing a linear form under
	         linear inequality restraints},
	author = {Dantzig, George B and Orden, Alex and Wolfe, Philip and others},
	journal = {Pacific Journal of Mathematics},
	volume = {5},
	number = {2},
	pages = {183--195},
	year = {1955},
}

@article{davis-1960-dpll,
	author = {Davis, Martin and Putnam, Hilary},
	title = {A Computing Procedure for Quantification Theory},
	year = {1960},
	issue_date = {July 1960},
	publisher = {Association for Computing Machinery},
	address = {New York, NY, USA},
	volume = {7},
	number = {3},
	issn = {0004-5411},
	url = {https://doi.org/10.1145/321033.321034},
	doi = {10.1145/321033.321034},
	journal = {J. ACM},
	month = jul,
	pages = {201–215},
	numpages = {15},
}

@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{een-2003-minisat,
	author = {Niklas E{\'{e}}n and Niklas S{\"{o}}rensson},
	editor = {Enrico Giunchiglia and Armando Tacchella},
	title = {An Extensible SAT-solver},
	booktitle = {Theory and Applications of Satisfiability Testing, 6th
	             International Conference, {SAT} 2003. Santa Margherita Ligure,
	             Italy, May 5-8, 2003 Selected Revised Papers},
	series = {Lecture Notes in Computer Science},
	volume = {2919},
	pages = {502--518},
	publisher = {Springer},
	year = {2003},
	url = {https://doi.org/10.1007/978-3-540-24605-3_37},
	doi = {10.1007/978-3-540-24605-3_37},
	timestamp = {Tue, 14 May 2019 10:00:41 +0200},
	biburl = {https://dblp.org/rec/conf/sat/EenS03.bib},
	bibsource = {dblp computer science bibliography, https://dblp.org},
}

@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},
}

@article{fischetti-2014-erratiscism,
	author = {Matteo Fischetti and Michele Monaci},
	title = {Exploiting Erraticism in Search},
	journal = {Oper. Res.},
	volume = {62},
	number = {1},
	pages = {114--122},
	year = {2014},
	url = {https://doi.org/10.1287/opre.2013.1231},
	doi = {10.1287/opre.2013.1231},
	timestamp = {Tue, 31 Mar 2020 18:17:39 +0200},
	biburl = {https://dblp.org/rec/journals/ior/FischettiM14.bib},
	bibsource = {dblp computer science bibliography, https://dblp.org},
}

@software{forrest-2020-cbc,
	author = {Forrest, J. and Stefan Vigerske and Haroldo Gambini Santos and Ted
	          Ralphs and Lou Hafer and Bjarni Kristjansson and Fasano, J.P. and
	          EdwinStraver and Miles Lubin and Lougee-Heimer, R. and jpgoncal1 and
	          Gassmann, H.I. and Matthew Saltzman},
	title = {coin-or/Cbc: Version 2.10.5},
	month = mar,
	year = 2020,
	publisher = {Zenodo},
	version = {releases/2.10.5},
	doi = {10.5281/zenodo.3700700},
	url = {https://doi.org/10.5281/zenodo.3700700},
}

@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{fourer-2002-amplcp,
	author = {Robert Fourer and David M. Gay},
	title = {Extending an Algebraic Modeling Language to Support Constraint
	         Programming},
	journal = {{INFORMS} J. Comput.},
	volume = 14,
	number = 4,
	pages = {322--344},
	year = 2002,
	url = {https://doi.org/10.1287/ijoc.14.4.322.2825},
	doi = {10.1287/ijoc.14.4.322.2825},
	timestamp = {Sun, 15 Mar 2020 19:45:41 +0100},
	biburl = {https://dblp.org/rec/journals/informs/FourerG02.bib},
	bibsource = {dblp computer science bibliography, https://dblp.org},
}

@book{fourer-2003-ampl,
	title = {AMPL: A Modeling Language for Mathematical Programming},
	author = {Fourer, R. and Gay, D.M. and Kernighan, B.W.},
	isbn = 9780534388096,
	lccn = 00698382,
	series = {Scientific Press series},
	year = 2003,
	publisher = {Thomson/Brooks/Cole},
}

@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},
}

@inproceedings{frisch-2007-essence,
	author = {Alan M. Frisch and Matthew Grum and Christopher Jefferson and
	          Bernadette Mart{\'{\i}}nez Hern{\'{a}}ndez and Ian Miguel},
	editor = {Manuela M. Veloso},
	title = {The Design of {ESSENCE:} {A} Constraint Language for Specifying
	         Combinatorial Problems},
	booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint
	             Conference on Artificial Intelligence, Hyderabad, India, January
	             6-12, 2007},
	pages = {80--87},
	year = 2007,
	url = {http://ijcai.org/Proceedings/07/Papers/011.pdf},
	timestamp = {Tue, 20 Aug 2019 16:17:11 +0200},
	biburl = {https://dblp.org/rec/conf/ijcai/FrischGJHM07.bib},
	bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{frisch-2009-undefinedness,
	author = {Alan M. Frisch and Peter J. Stuckey},
	editor = {Ian P. Gent},
	title = {The Proper Treatment of Undefinedness in Constraint Languages},
	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 = {367--382},
	publisher = {Springer},
	year = 2009,
	url = {https://doi.org/10.1007/978-3-642-04244-7_30},
	doi = {10.1007/978-3-642-04244-7_30},
	timestamp = {Tue, 14 May 2019 10:00:45 +0200},
	biburl = {https://dblp.org/rec/conf/cp/FrischS09.bib},
	bibsource = {dblp computer science bibliography, https://dblp.org},
}

@techreport{gamrath-2020-scip,
	author = {Gerald Gamrath and Daniel Anderson and Ksenia Bestuzheva and Wei-Kun
	          Chen and Leon Eifler and Maxime Gasse and Patrick Gemander and Ambros
	          Gleixner and Leona Gottwald and Katrin Halbig and Gregor Hendel and
	          Christopher Hojny and Thorsten Koch and Le Bodic, Pierre and Stephen
	          J. Maher and Frederic Matter and Matthias Miltenberger and Erik M{\"u
	          }hmer and Benjamin M{\"u}ller and Marc E. Pfetsch and Franziska Schl{
	          \"o}sser and Felipe Serrano and Yuji Shinano and Christine Tawfik and
	          Stefan Vigerske and Fabian Wegscheider and Dieter Weninger and Jakob
	          Witzig},
	title = {{The SCIP Optimization Suite 7.0}},
	type = {ZIB-Report},
	institution = {Zuse Institute Berlin},
	number = {20-10},
	month = {3},
	year = {2020},
	url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-78023},
}

@article{fruhwirth-1998-chr,
	author = {Thom W. Fr{\"{u}}hwirth},
	title = {Theory and Practice of Constraint Handling Rules},
	journal = {J. Log. Program.},
	volume = 37,
	number = {1-3},
	pages = {95--138},
	year = 1998,
	url = {https://doi.org/10.1016/S0743-1066(98)10005-5},
	doi = {10.1016/S0743-1066(98)10005-5},
	timestamp = {Wed, 17 Feb 2021 08:54:37 +0100},
	biburl = {https://dblp.org/rec/journals/jlp/Fruhwirth98.bib},
	bibsource = {dblp computer science bibliography, https://dblp.org},
}

@software{gecode-2021-gecode,
	author = {{Gecode Team}},
	title = {Gecode: A Generic Constraint Development Environment},
	year = 2021,
	url = {http://www.gecode.org},
	version = {6.3.0},
}

@article{gebser-2012-clasp,
	author = {Martin Gebser and Benjamin Kaufmann and Torsten Schaub},
	title = {Conflict-driven answer set solving: From theory to practice},
	journal = {Artif. Intell.},
	volume = 187,
	pages = {52--89},
	year = 2012,
	url = {https://doi.org/10.1016/j.artint.2012.04.001},
	doi = {10.1016/j.artint.2012.04.001},
	timestamp = {Fri, 09 Apr 2021 18:34:15 +0200},
	biburl = {https://dblp.org/rec/journals/ai/GebserKS12.bib},
	bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{gokberk-2020-ess-incr,
	author = {G{\"{o}}kberk Ko{\c{c}}ak and {\"{O}}zg{\"{u}}r Akg{\"{u}}n and
	          Nguyen Dang and Ian Miguel},
	title = {Efficient Incremental Modelling and Solving},
	year = {2020},
	booktitle = {Proceedings of ModRef'08, the Seventh International Workshop on
	             Constraint Modelling and Reformulation},
}

@manual{gurobi-2021-gurobi,
	author = {{Gurobi Optimization, LLC}},
	title = {Gurobi Optimizer Reference Manual},
	year = 2021,
	url = {http://www.gurobi.com},
}

@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},
}

@manual{ibm-2017-opl,
	title = {OPL Language User’s Manual},
	author = {CPLEX, IBM ILOG},
	journal = {International Business Machines Corporation},
	year = 2017,
}

@manual{ibm-2020-cplex,
	title = {V20.1: User’s Manual for CPLEX},
	author = {CPLEX, IBM ILOG},
	journal = {International Business Machines Corporation},
	year = 2020,
}

@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},
}

@inproceedings{jaffar-1987-clp,
	author = {Joxan Jaffar and Jean{-}Louis Lassez},
	title = {Constraint Logic Programming},
	booktitle = {Conference Record of the Fourteenth Annual {ACM} Symposium on
	             Principles of Programming Languages, Munich, Germany, January
	             21-23, 1987},
	pages = {111--119},
	publisher = {{ACM} Press},
	year = {1987},
	url = {https://doi.org/10.1145/41625.41635},
	doi = {10.1145/41625.41635},
	timestamp = {Tue, 06 Nov 2018 11:07:43 +0100},
	biburl = {https://dblp.org/rec/conf/popl/JaffarL87.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{jefferson-2010-connectives,
	author = {Christopher Jefferson and Neil C. A. Moore and Peter Nightingale and
	          Karen E. Petrie},
	title = {Implementing logical connectives in constraint programming},
	journal = {Artif. Intell.},
	volume = 174,
	number = {16-17},
	pages = {1407--1429},
	year = 2010,
	url = {https://doi.org/10.1016/j.artint.2010.07.001},
	doi = {10.1016/j.artint.2010.07.001},
	timestamp = {Sat, 16 Sep 2017 12:06:14 +0200},
	biburl = {https://dblp.org/rec/journals/ai/JeffersonMNP10.bib},
	bibsource = {dblp computer science bibliography, https://dblp.org},
}

@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},
}

@article{karmarkar-1984-interior-point,
	author = {Narendra Karmarkar},
	title = {A new polynomial-time algorithm for linear programming},
	journal = {Comb.},
	volume = {4},
	number = {4},
	pages = {373--396},
	year = {1984},
	url = {https://doi.org/10.1007/BF02579150},
	doi = {10.1007/BF02579150},
	timestamp = {Wed, 22 Jul 2020 22:02:37 +0200},
	biburl = {https://dblp.org/rec/journals/combinatorica/Karmarkar84.bib},
	bibsource = {dblp computer science bibliography, https://dblp.org},
}

@article{kolisch-1997-psplib,
	title = {PSPLIB - A project scheduling problem library: OR Software - ORSEP
	         Operations Research Software Exchange Program},
	journal = {European Journal of Operational Research},
	volume = 96,
	number = 1,
	pages = {205-216},
	year = 1997,
	issn = {0377-2217},
	doi = {https://doi.org/10.1016/S0377-2217(96)00170-1},
	url = {https://www.sciencedirect.com/science/article/pii/S0377221796001701},
	author = {Rainer Kolisch and Arno Sprecher},
	keywords = {Project scheduling, Resource constraints, Benchmark instances},
}

@inproceedings{lagerkvist-2009-groups,
	author = {Mikael Z. Lagerkvist and Christian Schulte},
	editor = {Ian P. Gent},
	title = {Propagator Groups},
	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 = {524--538},
	publisher = {Springer},
	year = 2009,
	url = {https://doi.org/10.1007/978-3-642-04244-7_42},
	doi = {10.1007/978-3-642-04244-7_42},
	timestamp = {Tue, 14 May 2019 10:00:45 +0200},
	biburl = {https://dblp.org/rec/conf/cp/LagerkvistS09.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},
}

@manual{leroy-2020-ocaml,
	title = {The OCaml system release 4.10.0},
	author = {Leroy, Xavier and Doligez, Damien and Frisch, Alain and Garrigue,
	          Jacques and R{\'e}my, Didier and Vouillon, J{\'e}r{\^o}me},
	year = {2020},
}

@inbook{lodi-2013-variability,
	author = {Andrea Lodi and Andrea Tramontani},
	title = {Performance Variability in Mixed-Integer Programming},
	booktitle = {Theory Driven by Influential Applications},
	chapter = {Chapter 1},
	year = 2013,
	pages = {1-12},
	doi = {10.1287/educ.2013.0112},
	URL = {https://pubsonline.informs.org/doi/abs/10.1287/educ.2013.0112},
	eprint = {https://pubsonline.informs.org/doi/pdf/10.1287/educ.2013.0112},
}

@article{lougee-heimer-2003-coin,
	author = {Robin Lougee{-}Heimer},
	title = {The Common Optimization INterface for Operations Research: Promoting
	         open-source software in the operations research community},
	journal = {{IBM} J. Res. Dev.},
	volume = 47,
	number = 1,
	pages = {57--66},
	year = 2003,
	url = {https://doi.org/10.1147/rd.471.0057},
	doi = {10.1147/rd.471.0057},
	timestamp = {Fri, 13 Mar 2020 10:54:17 +0100},
	biburl = {https://dblp.org/rec/journals/ibmrd/Lougee-Heimer03.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},
}

@article{marriott-2008-zinc,
	author = {Kim Marriott and Nicholas Nethercote and Reza Rafeh and Peter J.
	          Stuckey and Maria Garcia de la Banda and Mark Wallace},
	title = {The Design of the Zinc Modelling Language},
	journal = {Constraints An Int. J.},
	volume = 13,
	number = 3,
	pages = {229--267},
	year = 2008,
	url = {https://doi.org/10.1007/s10601-008-9041-4},
	doi = {10.1007/s10601-008-9041-4},
	timestamp = {Fri, 13 Mar 2020 10:58:29 +0100},
	biburl = {https://dblp.org/rec/journals/constraints/MarriottNRSBW08.bib},
	bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{martins-2014-openwbo,
	author = {Ruben Martins and Vasco M. Manquinho and In{\^{e}}s Lynce},
	editor = {Carsten Sinz and Uwe Egly},
	title = {Open-WBO: {A} Modular MaxSAT Solver,},
	booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2014 -
	             17th International Conference, Held as Part of the Vienna Summer
	             of Logic, {VSL} 2014, Vienna, Austria, July 14-17, 2014.
	             Proceedings},
	series = {Lecture Notes in Computer Science},
	volume = {8561},
	pages = {438--445},
	publisher = {Springer},
	year = {2014},
	url = {https://doi.org/10.1007/978-3-319-09284-3_33},
	doi = {10.1007/978-3-319-09284-3_33},
	timestamp = {Tue, 14 May 2019 10:00:41 +0200},
	biburl = {https://dblp.org/rec/conf/sat/MartinsML14.bib},
	bibsource = {dblp computer science bibliography, https://dblp.org},
}

@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},
}

@article{miller-1960-subtour,
	author = {C. E. Miller and A. W. Tucker and R. A. Zemlin},
	title = {Integer Programming Formulation of Traveling Salesman Problems},
	journal = {J. {ACM}},
	volume = {7},
	number = {4},
	pages = {326--329},
	year = {1960},
	url = {https://doi.org/10.1145/321043.321046},
	doi = {10.1145/321043.321046},
	timestamp = {Wed, 14 Nov 2018 10:35:26 +0100},
	biburl = {https://dblp.org/rec/journals/jacm/MillerTZ60.bib},
	bibsource = {dblp computer science bibliography, https://dblp.org},
}

@software{minizinc-2021-minizinc,
	author = {{MiniZinc Team}},
	title = {MiniZinc: a free and open-source constraint modeling language},
	year = 2021,
	url = {http://www.minizinc.org},
	version = {2.5.5},
}

@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},
}

@article{nightingale-2017-ess-prime,
	author = {Peter Nightingale and {\"{O}}zg{\"{u}}r Akg{\"{u}}n and Ian P. Gent
	          and Christopher Jefferson and Ian Miguel and Patrick Spracklen},
	title = {Automatically improving constraint models in Savile Row},
	journal = {Artif. Intell.},
	volume = {251},
	pages = {35--61},
	year = {2017},
	url = {https://doi.org/10.1016/j.artint.2017.07.001},
	doi = {10.1016/j.artint.2017.07.001},
	timestamp = {Fri, 27 Mar 2020 08:45:01 +0100},
	biburl = {https://dblp.org/rec/journals/ai/NightingaleAGJM17.bib},
	bibsource = {dblp computer science bibliography, https://dblp.org},
}

@software{perron-2021-ortools,
	title = {OR-Tools},
	version = {9.0},
	author = {Laurent Perron and Vincent Furnon},
	organization = {Google},
	url = {https://developers.google.com/optimization/},
	date = {2021-04-30},
}

@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},
}

@article{plaisted-1986-polarity,
	author = {David A. Plaisted and Steven Greenbaum},
	title = {A Structure-Preserving Clause Form Translation},
	journal = {J. Symb. Comput.},
	volume = 2,
	number = 3,
	pages = {293--304},
	year = 1986,
	url = {https://doi.org/10.1016/S0747-7171(86)80028-1},
	doi = {10.1016/S0747-7171(86)80028-1},
	timestamp = {Wed, 17 Feb 2021 08:57:26 +0100},
	biburl = {https://dblp.org/rec/journals/jsc/PlaistedG86.bib},
	bibsource = {dblp computer science bibliography, https://dblp.org},
}

@manual{prudhomme-2016-choco,
	author = {Charles Prud'homme and Jean-Guillaume Fages and Xavier Lorca},
	title = {Choco Solver Documentation},
	year = 2016,
	organization = {TASC, INRIA Rennes, LINA CNRS UMR 6241, COSLING S.A.S.},
	timestamp = {Tue, 9 Feb 2016},
	url = {http://www.choco-solver.org },
}

@phdthesis{rendl-2010-thesis,
	author = {Andrea Rendl},
	title = {Effective compilation of constraint models},
	school = {University of St Andrews, {UK}},
	year = {2010},
	url = {http://hdl.handle.net/10023/973},
	timestamp = {Thu, 25 Aug 2016 17:20:59 +0200},
	biburl = {https://dblp.org/rec/phd/ethos/Rendl10.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},
}

@book{rossi-2006-cp,
	title = {Handbook of Constraint Programming},
	author = {Rossi, F. and van Beek, P. and Walsh, T.},
	isbn = 9780080463803,
	series = {ISSN},
	year = 2006,
	publisher = {Elsevier Science},
}

@book{rossum-2009-python3,
	author = {Van Rossum, Guido and Drake, Fred L.},
	title = {Python 3 Reference Manual},
	year = {2009},
	isbn = {1441412697},
	publisher = {CreateSpace},
	address = {Scotts Valley, CA},
}

@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},
}

@book{schrijver-1998-mip,
	title = {Theory of Linear and Integer Programming},
	author = {Schrijver, A.},
	isbn = 9780471982326,
	lccn = {lc85012314},
	series = {Wiley Series in Discrete Mathematics \& Optimization},
	year = 1998,
	publisher = {Wiley},
}

@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},
}

@inproceedings{schulte-2000-deep,
	author = {Christian Schulte},
	editor = {Enrico Pontelli and V{\'{\i}}tor Santos Costa},
	title = {Programming Deep Concurrent Constraint Combinators},
	booktitle = {Practical Aspects of Declarative Languages, Second International
	             Workshop, {PADL} 2000, Boston, MA, USA, January 2000, Proceedings},
	series = {Lecture Notes in Computer Science},
	volume = 1753,
	pages = {215--229},
	publisher = {Springer},
	year = 2000,
	url = {https://doi.org/10.1007/3-540-46584-7_15},
	doi = {10.1007/3-540-46584-7_15},
	timestamp = {Tue, 14 May 2019 10:00:42 +0200},
	biburl = {https://dblp.org/rec/conf/padl/Schulte00.bib},
	bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{schulte-2005-views,
	author = {Christian Schulte and Guido Tack},
	editor = {Peter van Beek},
	title = {Views and Iterators for Generic Constraint Implementations},
	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 = {817--821},
	publisher = {Springer},
	year = 2005,
	url = {https://doi.org/10.1007/11564751_71},
	doi = {10.1007/11564751_71},
	timestamp = {Tue, 14 May 2019 10:00:45 +0200},
	biburl = {https://dblp.org/rec/conf/cp/SchulteT05.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{schutt-2009-cumulative,
	author = {Andreas Schutt and Thibaut Feydy and Peter J. Stuckey and Mark
	          Wallace},
	editor = {Ian P. Gent},
	title = {Why Cumulative Decomposition Is Not as Bad as It Sounds},
	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 = {746--761},
	publisher = {Springer},
	year = 2009,
	url = {https://doi.org/10.1007/978-3-642-04244-7_58},
	doi = {10.1007/978-3-642-04244-7_58},
	timestamp = {Tue, 14 May 2019 10:00:45 +0200},
	biburl = {https://dblp.org/rec/conf/cp/SchuttFSW09.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},
}

@inproceedings{stuckey-2019-conditionals,
	author = {Peter J. Stuckey and Guido Tack},
	editor = {Thomas Schiex and Simon de Givry},
	title = {Compiling Conditional Constraints},
	booktitle = {Principles and Practice of Constraint Programming - 25th
	             International Conference, {CP} 2019, Stamford, CT, USA, September
	             30 - October 4, 2019, Proceedings},
	series = {Lecture Notes in Computer Science},
	volume = {11802},
	pages = {384--400},
	publisher = {Springer},
	year = {2019},
	url = {https://doi.org/10.1007/978-3-030-30048-7_23},
	doi = {10.1007/978-3-030-30048-7_23},
	timestamp = {Sat, 12 Oct 2019 12:51:44 +0200},
	biburl = {https://dblp.org/rec/conf/cp/StuckeyT19.bib},
	bibsource = {dblp computer science bibliography, https://dblp.org},
}

@unpublished{van-hentenryck-1992-indexicals,
	title = {Constraint processing in cc(FD)},
	author = {Van Hentenryck, P. and Saraswat, V. and Deville, Y.},
	year = 1992,
	note = {Manuscript},
}

@book{van-hentenryck-1999-opl,
	title = {The OPL Optimization Programming Language},
	author = {Van Hentenryck, P. and Lustig, I. and Puget, J.F. and Michel, L.},
	isbn = 9780262720304,
	lccn = 98034698,
	series = {Computing in Musicology; 11},
	year = 1999,
	publisher = {MIT Press},
}

@article{van-hentenryck-2000-opl-search,
	author = {Van Hentenryck, Pascal and Perron, Laurent and Puget, Jean-Fran\c{c}
	          ois},
	title = {Search and Strategies in OPL},
	year = 2000,
	issue_date = {Oct. 2000},
	publisher = {Association for Computing Machinery},
	address = {New York, NY, USA},
	volume = 1,
	number = 2,
	issn = {1529-3785},
	url = {https://doi.org/10.1145/359496.359529},
	doi = {10.1145/359496.359529},
	journal = {ACM Trans. Comput. Logic},
	month = oct,
	pages = {285–320},
	numpages = 36,
	keywords = {search, modeling languages, constraint programming, combinatorial
	            optimization},
}

@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},
}