{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,23]],"date-time":"2025-04-23T13:06:33Z","timestamp":1745413593634,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319930305"},{"type":"electronic","value":"9783319930312"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-93031-2_9","type":"book-chapter","created":{"date-parts":[[2018,6,7]],"date-time":"2018-06-07T06:04:24Z","timestamp":1528351464000},"page":"117-134","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Reasoning on Sequences in Constraint-Based Local Search Frameworks"],"prefix":"10.1007","author":[{"given":"Renaud","family":"De Landtsheer","sequence":"first","affiliation":[]},{"given":"Yoann","family":"Guyot","sequence":"additional","affiliation":[]},{"given":"Gustavo","family":"Ospina","sequence":"additional","affiliation":[]},{"given":"Fabian","family":"Germeau","sequence":"additional","affiliation":[]},{"given":"Christophe","family":"Ponsard","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,6,8]]},"reference":[{"key":"9_CR1","series-title":"International Series in Operations Research & Management Science","doi-asserted-by":"publisher","DOI":"10.1007\/b101874","volume-title":"Handbook of Metaheuristics","author":"FW Glover","year":"2003","unstructured":"Glover, F.W., Kochenberger, G.A.: Handbook of Metaheuristics. International Series in Operations Research & Management Science. Springer, New York (2003). https:\/\/doi.org\/10.1007\/b101874"},{"issue":"1","key":"9_CR2","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/s10288-012-0212-1","volume":"11","author":"N Mladenovi\u0107","year":"2013","unstructured":"Mladenovi\u0107, N., Uro\u0161evi\u0107, D., Hanafi, S.: Variable neighborhood search for the travelling deliveryman problem. 4OR 11(1), 57\u201373 (2013)","journal-title":"4OR"},{"issue":"2","key":"9_CR3","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1287\/ijoc.4.2.146","volume":"4","author":"MWP Savelsbergh","year":"1992","unstructured":"Savelsbergh, M.W.P.: The vehicle routing problem with time windows: minimizing route duration. ORSA J. Comput. 4(2), 146\u2013154 (1992)","journal-title":"ORSA J. Comput."},{"key":"9_CR4","volume-title":"Constraint-Based Local Search","author":"P Van Hentenryck","year":"2009","unstructured":"Van Hentenryck, P., Michel, L.: Constraint-Based Local Search. MIT Press, Cambridge (2009)"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"645","DOI":"10.1007\/978-3-642-23786-7_49","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2011","author":"MAH Newton","year":"2011","unstructured":"Newton, M.A.H., Pham, D.N., Sattar, A., Maher, M.: Kangaroo: an efficient constraint-based local search system using lazy propagation. In: Lee, J. (ed.) CP 2011. LNCS, vol. 6876, pp. 645\u2013659. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-23786-7_49"},{"key":"9_CR6","unstructured":"De Landtsheer, R., Ponsard, C.: OscaR.cbls: an open source framework for constraint-based local search. In: Proceedings of ORBEL\u201927, 2013"},{"issue":"3","key":"9_CR7","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/s10288-011-0165-9","volume":"9","author":"T Benoist","year":"2011","unstructured":"Benoist, T., Estellon, B., Gardi, F., Megel, R., Nouioua, K.: LocalSolver 1.x: a black-box local-search solver for 0-1 programming. 4OR 9(3), 299\u2013316 (2011)","journal-title":"4OR"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Pralet, C., Verfaillie, G.: Dynamic online planning and scheduling using a static invariant-based evaluation model. In: Proceedings of the 23rd International Conference on Automated Planning and Scheduling, ICAPS 2013, Rome, Italy, 10-14 June 2013. AAAI (2013)","DOI":"10.1609\/icaps.v23i1.13561"},{"key":"9_CR9","unstructured":"OscaR Team. OscaR: Operational research in Scala (2012). Available under the LGPL licence from https:\/\/bitbucket.org\/oscarlib\/oscar"},{"key":"9_CR10","unstructured":"OR-Tools Team. OR-Tools: Google Optimization Tools. https:\/\/code.google.com\/p\/or-tools\/"},{"issue":"8","key":"9_CR11","first-page":"733","volume":"33","author":"L Di Gaspero","year":"2003","unstructured":"Di Gaspero, L., Schaerf, A.: EASYLOCAL++: an object-oriented framework for the flexible design of local-search algorithms. Softw.: Pract. Exp. 33(8), 733\u2013765 (2003)","journal-title":"Softw.: Pract. Exp."},{"key":"9_CR12","unstructured":"Bj\u00f6rdal, G.: String variables for constraint-based local search. Master\u2019s thesis, Uppsala University (2016). https:\/\/uu.diva-portal.org\/smash\/get\/diva2:954752\/FULLTEXT01.pdf"},{"issue":"2","key":"9_CR13","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1287\/opre.21.2.498","volume":"21","author":"S Lin","year":"1973","unstructured":"Lin, S., Kernighan, B.W.: An effective heuristic algorithm for the traveling-salesman problem. Oper. Res. 21(2), 498\u2013516 (1973)","journal-title":"Oper. Res."},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1287\/trsc.29.1.17","volume":"29","author":"MWP Savelsbergh","year":"1995","unstructured":"Savelsbergh, M.W.P., Sol, M.: The general pickup and delivery problem. Transp. Sci. 29, 17\u201329 (1995)","journal-title":"Transp. Sci."},{"key":"9_CR15","series-title":"Operations Research\/Computer Science Interfaces Series","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-319-58253-5_3","volume-title":"Recent Developments in Metaheuristics","author":"R De Landtsheer","year":"2018","unstructured":"De Landtsheer, R., Guyot, Y., Ospina, G., Ponsard, C.: Combining neighborhoods into local search strategies. In: Amodeo, L., Talbi, E.-G., Yalaoui, F. (eds.) Recent Developments in Metaheuristics. ORSIS, vol. 62, pp. 43\u201357. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-58253-5_3"},{"key":"9_CR16","unstructured":"Meurisse, Q., De Landtsheer, R.: Generic support for global routing constraint in constraint-based local search frameworks. In: Proceedings of the 32th ORBEL Annual Meeting, pp. 129\u2013130, 1\u20132 February 2018"},{"key":"9_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-319-66158-2_16","volume-title":"Principles and Practice of Constraint Programming","author":"C Pralet","year":"2017","unstructured":"Pralet, C.: An incomplete constraint-based system for scheduling with renewable resources. In: Beck, J.C. (ed.) CP 2017. LNCS, vol. 10416, pp. 243\u2013261. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66158-2_16"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"462","DOI":"10.1007\/978-3-319-21690-4_29","volume-title":"Computer Aided Verification","author":"PA Abdulla","year":"2015","unstructured":"Abdulla, P.A., Atig, M.F., Chen, Y.-F., Hol\u00edk, L., Rezine, A., R\u00fcmmer, P., Stenman, J.: Norn: an SMT solver for string constraints. In: Kroening, D., P\u0103s\u0103reanu, C.S. (eds.) CAV 2015. LNCS, vol. 9206, pp. 462\u2013469. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21690-4_29"},{"issue":"6","key":"9_CR19","doi-asserted-by":"publisher","first-page":"847","DOI":"10.1007\/s00165-011-0214-3","volume":"25","author":"X Fu","year":"2013","unstructured":"Fu, X., Powell, M.C., Bantegui, M., Li, C.-C.: Simple linear string constraints. Formal Aspects Comput. 25(6), 847\u2013891 (2013)","journal-title":"Formal Aspects Comput."},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-22110-1_1","volume-title":"Computer Aided Verification","author":"V Ganesh","year":"2011","unstructured":"Ganesh, V., Kie\u017cun, A., Artzi, S., Guo, P.J., Hooimeijer, P., Ernst, M.: HAMPI: a string solver for testing, analysis and vulnerability detection. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 1\u201319. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_1"},{"key":"9_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-319-59776-8_5","volume-title":"Integration of AI and OR Techniques in Constraint Programming","author":"JD Scott","year":"2017","unstructured":"Scott, J.D., Flener, P., Pearson, J., Schulte, C.: Design and implementation of bounded-length sequence variables. In: Salvagnin, D., Lombardi, M. (eds.) CPAIOR 2017. LNCS, vol. 10335, pp. 51\u201367. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-59776-8_5"}],"container-title":["Lecture Notes in Computer Science","Integration of Constraint Programming, Artificial Intelligence, and Operations Research"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-93031-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T17:27:10Z","timestamp":1709832430000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-93031-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319930305","9783319930312"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-93031-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"8 June 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CPAIOR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Delft","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cpaior2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sites.google.com\/view\/cpaior2018\/home","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}