@misc(noauthor_optaplanner_nodate, title = {{OptaPlanner} {User} {Guide}}, url = {https://docs.optaplanner.org/7.15.0.Final/optaplanner-docs/html_single/index.html}, ) @misc(noauthor_ibm_2014, year = {2014}, title = {{IBM} {CPLEX} {CP} {Optimizer}}, url = {http://www-01.ibm.com/software/commerce/optimization/cplex-cp-optimizer/}, ) @inproceedings(akgun_framework_2018, author = {{\"O}zg{\"u}r Akg{\"u}n and Saad Attieh and Ian P. Gent and Christopher Jefferson and Ian Miguel and Peter Nightingale and Andr{\'a}s Z. Salamon and Patrick Spracklen and James Wetter}, year = {2018}, title = {A Framework for Constraint Based Local Search using Essence}, booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, {IJCAI-18}}, publisher = {International Joint Conferences on Artificial Intelligence Organization}, pages = {1242--1248}, doi = {10.24963/ijcai.2018/173}, ) @inproceedings(bjordal_declarative_2018, author = {Gustav Bj{\"o}rdal and Pierre Flener and Justin Pearson and Peter J. Stuckey and Guido Tack}, year = {2018}, title = {Declarative {Local}-{Search} {Neighbourhoods} in {MiniZinc}}, booktitle = {2018 {IEEE} 30th {International} {Conference} on {Tools} with {Artificial} {Intelligence} ({ICTAI})}, pages = {98--105}, doi = {10.1109/ICTAI.2018.00025}, ) @article(bjordal_constraint-based_2015, author = {Gustav Bj{\"o}rdal and Jean-No{\"e}l Monette and Pierre Flener and Justin Pearson}, year = {2015}, title = {A constraint-based local search backend for {MiniZinc}}, journal = {Constraints}, volume = {20}, number = {3}, pages = {325--345}, doi = {10.1007/s10601-015-9184-z}, ) @article(debeukelaer_james:_2017, author = {De Beukelaer, Herman and Guy F. Davenport and De Meyer, Geert and Veerle Fack}, year = {2017}, title = {{JAMES}: {An} object-oriented {Java} framework for discrete optimization using local search metaheuristics}, journal = {Software: Practice and Experience}, volume = {47}, number = {6}, pages = {921--938}, doi = {10.1002/spe.2459}, ) @incollection(elsken_neural_2019, author = {Thomas Elsken and Jan Hendrik Metzen and Frank Hutter}, year = {2019}, title = {Neural Architecture Search}, editor = {Frank Hutter and Lars Kotthoff and Joaquin Vanschoren}, booktitle = {Automated Machine Learning: Methods, Systems, Challenges}, publisher = {Springer International Publishing}, address = {Cham}, pages = {63--77}, doi = {10.1007/978-3-030-05318-5\_3}, ) @article(fourer_modeling_1990, author = {Robert Fourer and David M. Gay and Brian W. Kernighan}, year = {1990}, title = {A {Modeling} {Language} for {Mathematical} {Programming}}, journal = {Management Science}, volume = {36}, number = {5}, pages = {519--554}, doi = {10.1287/mnsc.36.5.519}, url = {https://pubsonline.informs.org/doi/abs/10.1287/mnsc.36.5.519}, ) @article(frisch_essence:_2008, author = {Alan M. Frisch and Warwick Harvey and Chris Jefferson and Mart{\'i}nez-Hern{\'a}ndez, Bernadette and Ian Miguel}, year = {2008}, title = {Essence: {A} constraint language for specifying combinatorial problems}, journal = {Constraints}, volume = {13}, number = {3}, pages = {268--306}, doi = {10.1007/s10601-008-9047-y}, ) @article(gaspero_easylocal++:_2003, author = {Luca Di Gaspero and Andrea Schaerf}, year = {2003}, title = {{EASYLOCAL}++: an object-oriented framework for the flexible design of local-search algorithms}, journal = {Software: Practice and Experience}, volume = {33}, number = {8}, pages = {733--765}, doi = {10.1002/spe.524}, url = {https://onlinelibrary.wiley.com/doi/abs/10.1002/spe.524}, ) @book(van_hentenryck_constraint-based_2005, author = {Pascal Van Hentenryck and Laurent Michel}, year = {2005}, title = {Constraint-based local search}, publisher = {{MIT} Press}, ) @article(hoos_claspfolio_2014, author = {Holger H. Hoos and Marius Thomas Lindauer and Torsten Schaub}, year = {2014}, title = {claspfolio 2: Advances in Algorithm Selection for Answer Set Programming}, journal = {{TPLP}}, volume = {14}, number = {4-5}, pages = {569--585}, doi = {10.1017/S1471068414000210}, ) @incollection(hoos_local_2006, author = {Holger H. Hoos and Edward Tsang}, year = {2006}, title = {Local {Search} {Methods}}, booktitle = {Handbook of {Constraint} {Programming}}, series = {Foundations of {Artificial} {Intelligence}}, publisher = {Elsevier Science Inc.}, address = {New York, NY, USA}, pages = {245--277}, doi = {10.1016/S1574-6526(06)80009-X}, ) @inproceedings(kaul_autolearn_2017, author = {A. Kaul and S. Maheshwary and V. Pudi}, year = {2017}, title = {{AutoLearn} {\textemdash} {Automated} {Feature} {Generation} and {Selection}}, booktitle = {2017 {IEEE} {International} {Conference} on {Data} {Mining} ({ICDM})}, pages = {217--226}, doi = {10.1109/ICDM.2017.31}, ) @incollection(landtsheer_combining_2018, author = {Renaud De Landtsheer and Yoann Guyot and Gustavo Ospina and Christophe Ponsard}, year = {2018}, title = {Combining {Neighborhoods} into {Local} {Search} {Strategies}}, booktitle = {Recent {Developments} in {Metaheuristics}}, series = {Operations {Research}/{Computer} {Science} {Interfaces} {Series}}, publisher = {Springer, Cham}, pages = {43--57}, doi = {10.1007/978-3-319-58253-5\_3}, ) @article(maratea_2014, author = {Marco Maratea and Luca Pulina and Francesco Ricca}, year = {2014}, title = {A multi-engine approach to answer-set programming}, journal = {{TPLP}}, volume = {14}, number = {6}, pages = {841--868}, doi = {10.1017/S1471068413000094}, ) @misc(marte_yuck_2017, author = {Michael Marte}, year = {2017}, title = {Yuck is a constraint-based local-search solver with {FlatZinc} interface}, url = {https://github.com/informarte/yuck}, note = {Accessed 2019/05/13}, ) @inproceedings(michel_localizer_1997, author = {Laurent Michel and Van Hentenryck, Pascal}, year = {1997}, title = {Localizer {A} modeling language for local search}, editor = {Gert Smolka}, booktitle = {Principles and {Practice} of {Constraint} {Programming}-{CP}97}, series = {Lecture {Notes} in {Computer} {Science}}, publisher = {Springer Berlin Heidelberg}, pages = {237--251}, doi = {10.1007/BFb0017443}, ) @incollection(bessiere_minizinc:_2007, author = {Nicholas Nethercote and Peter J. Stuckey and Ralph Becket and Sebastian Brand and Gregory J. Duck and Guido Tack}, year = {2007}, title = {{MiniZinc}: {Towards} a {Standard} {CP} {Modelling} {Language}}, editor = {Christian Bessi{\`e}re}, booktitle = {Principles and {Practice} of {Constraint} {Programming} {\textendash} {CP} 2007}, volume = {4741}, publisher = {Springer Berlin Heidelberg}, address = {Berlin, Heidelberg}, pages = {529--543}, doi = {10.1007/978-3-540-74970-7\_38}, ) @techreport(omme_or-tools_2014, author = {Nikolaj van Omme and Laurent Perron and Vincent Furnon}, year = {2014}, title = {or-tools user's manual}, type = {Technical Report}, institution = {Google}, ) @book(oscar_team_oscar:_2012, author = {{OscaR Team}}, year = {2012}, title = {{OscaR}: {Scala} in {OR}}, ) @inproceedings(perron_propagation_2004, author = {Laurent Perron and Paul Shaw and Vincent Furnon}, year = {2004}, title = {Propagation {Guided} {Large} {Neighborhood} {Search}}, booktitle = {Principles and {Practice} of {Constraint} {Programming} {\textendash} {CP} 2004}, series = {Lecture {Notes} in {Computer} {Science}}, publisher = {Springer, Berlin, Heidelberg}, pages = {468--481}, doi = {10.1007/978-3-540-30201-8\_35}, ) @incollection(pisinger_large_2010, author = {David Pisinger and R{\o}pke, Stefan}, year = {2010}, title = {Large {Neighborhood} {Search}}, booktitle = {Handbook of {Metaheuristics}}, publisher = {Springer}, pages = {399--420}, doi = {10.1016/j.ejor.2004.08.015}, ) @book(prudhomme_choco_2017, author = {Charles Prud'homme and Jean-Guillaume Fages and Xavier Lorca}, year = {2017}, title = {Choco {Documentation}}, publisher = {TASC - LS2N CNRS UMR 6241, COSLING S.A.S.}, url = {http://www.choco-solver.org}, ) @incollection(pesant_minisearch:_2015, author = {Andrea Rendl and Tias Guns and Peter J. Stuckey and Guido Tack}, year = {2015}, title = {{MiniSearch}: {A} {Solver}-{Independent} {Meta}-{Search} {Language} for {MiniZinc}}, editor = {Gilles Pesant}, booktitle = {Principles and {Practice} of {Constraint} {Programming}}, volume = {9255}, publisher = {Springer International Publishing}, address = {Cham}, pages = {376--392}, doi = {10.1007/978-3-319-23219-5\_27}, ) @inproceedings(schaerf_local++:_1999, author = {Andrea Schaerf and Maurizio Lenzerini and Marco Cadoli}, year = {1999}, title = {{LOCAL}++: a {C}++ framework for local search algorithms}, booktitle = {Proceedings {Technology} of {Object}-{Oriented} {Languages} and {Systems}. {TOOLS} 29 ({Cat}. {No}.{PR}00275)}, pages = {152--161}, doi = {10.1109/TOOLS.1999.779008}, ) @inproceedings(selman_noise_1994, author = {Bart Selman and Henry A. Kautz and Bram Cohen}, year = {1994}, title = {Noise Strategies for Improving Local Search}, editor = {Hayes{-}Roth, Barbara and Richard E. Korf}, booktitle = {Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31 - August 4, 1994, Volume 1.}, publisher = {{AAAI} Press / The {MIT} Press}, pages = {337--343}, url = {http://www.aaai.org/Library/AAAI/1994/aaai94-051.php}, ) @article(shahriari_taking_2016, author = {B. Shahriari and K. Swersky and Z. Wang and R. P. Adams and N. de Freitas}, year = {2016}, title = {Taking the {Human} {Out} of the {Loop}: {A} {Review} of {Bayesian} {Optimization}}, journal = {Proceedings of the IEEE}, volume = {104}, number = {1}, pages = {148--175}, doi = {10.1109/JPROC.2015.2494218}, ) @inproceedings(slazynski_generating_2019, author = {Mateusz \'{S}la\.{z}y\'{n}ski and Salvador Abreu and Grzegorz J. Nalepa}, year = {2019}, title = {Generating {Local} {Search} {Neighborhood} with {Synthesized} {Logic} {Programs}}, booktitle = {{{ICLP} 2019}, Electronic {Proceedings} in {Theoretical} {Computer} {Science}}, address = {Las Cruces, New Mexico, USA}, note = {Forthcoming}, ) @inproceedings(slazynski_towards_2019, author = {Mateusz \'{S}la\.{z}y\'{n}ski and Salvador Abreu and Grzegorz J. Nalepa}, year = {2019}, title = {Towards a Formal Specification of Local Search Neighborhoods from a Constraint Satisfaction Problem Structure}, booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference Companion}, series = {GECCO '19}, publisher = {ACM}, address = {New York, NY, USA}, pages = {137--138}, doi = {10.1145/3319619.3321968}, ) @article(stuckey_minizinc_2014, author = {Peter J. Stuckey and Thibaut Feydy and Andreas Schutt and Guido Tack and Julien Fischer}, year = {2014}, title = {The {MiniZinc} {Challenge} 2008{\textendash}2013}, journal = {AI Magazine}, volume = {35}, number = {2}, pages = {55--60}, doi = {10.1609/aimag.v35i2.2539}, ) @article(truchet_2004, author = {Charlotte Truchet and Philippe Codognet}, year = {2004}, title = {Musical constraint satisfaction problems solved with adaptive search}, journal = {Soft Comput.}, volume = {8}, number = {9}, pages = {633--640}, doi = {10.1007/s00500-004-0389-0}, ) @book(van_hentenryck_opl_1999, author = {Van Hentenryck, Pascal}, year = {1999}, title = {The {OPL} {Optimization} {Programming} {Language}}, publisher = {MIT Press}, address = {Cambridge, MA, USA}, )