{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T16:51:33Z","timestamp":1777395093106,"version":"3.51.4"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319071237","type":"print"},{"value":"9783319071244","type":"electronic"}],"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-07124-4_7","type":"book-chapter","created":{"date-parts":[[2018,8,13]],"date-time":"2018-08-13T19:09:59Z","timestamp":1534187399000},"page":"223-260","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Constraint-Based Local Search"],"prefix":"10.1007","author":[{"given":"Laurent","family":"Michel","sequence":"first","affiliation":[]},{"given":"Pascal Van","family":"Hentenryck","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,8,14]]},"reference":[{"issue":"4","key":"7_CR1","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1145\/357146.357147","volume":"3","author":"A Borning","year":"1981","unstructured":"Borning A (1981) The programming language aspects of thinglab, a constraint-oriented simulation laboratory. ACM Trans Program Lang Syst 3(4):353\u2013387","journal-title":"ACM Trans Program Lang Syst"},{"issue":"4","key":"7_CR2","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1145\/27623.29354","volume":"5","author":"A Borning","year":"1986","unstructured":"Borning A, Duisberg R (1986) Constraint-based tools for building user interfaces. ACM Trans Comput Graph 5(4):345\u2013374","journal-title":"ACM Trans Comput Graph"},{"key":"7_CR3","unstructured":"Dincbas M, Simonis H, Van Hentenryck P (1988) Solving the car sequencing problem in constraint logic programming. In: ECAI-88, Aug 1988"},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/BF01096763","volume":"6","author":"T Feo","year":"1995","unstructured":"Feo T, Resende M (1995) Greedy randomized adaptive search procedures. J Glob Optim 6:109\u2013133","journal-title":"J Glob Optim"},{"key":"7_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-6089-0","volume-title":"Tabu search","author":"F Glover","year":"1997","unstructured":"Glover F, Laguna M (1997) Tabu search. Kluwer Academic Publishers, Boston\/Dordrecht\/London"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1126\/science.220.4598.671","volume":"220","author":"S Kirkpatrick","year":"1983","unstructured":"Kirkpatrick S, Gelatt C, Vecchi M (1983) Optimization by simulated annealing. Science 220:671\u2013680","journal-title":"Science"},{"key":"7_CR7","first-page":"183","volume-title":"Handbook of applied optimization","author":"M Laguna","year":"2002","unstructured":"Laguna M (2002) Scatter search. In: Pardalos PM, Resende MGC (eds) Handbook of applied optimization. Oxford University Press, New York, pp 183\u2013193"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Michel L (1998) Localizer: a modeling language for local search. PhD thesis, Brown University","DOI":"10.1007\/BFb0017443"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Michel L, Van Hentenryck P (1997) Localizer: a modeling language for local search. In: Third international conference on the principles and practice of constraint programming (CP\u201997), Lintz, Oct 1997","DOI":"10.1007\/BFb0017443"},{"key":"7_CR10","unstructured":"Minton S, Johnston MD, Philips AB (1990) Solving large-scale constraint satisfaction and scheduling problems using a Heuristic repair method. In: AAAI-90, Aug 1990"},{"issue":"11","key":"7_CR11","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1109\/2.60882","volume":"23","author":"B Myers","year":"1990","unstructured":"Myers B, Guise D, Dannenberg R, Vander Zanden B, Kosbie D, Pervin E, Mickish A, Marchal P (1990) GARNET: comprehensive support for graphical, highly interactive user interfaces. IEEE Comput 23(11):71\u201385","journal-title":"IEEE Comput"},{"issue":"4","key":"7_CR12","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/s10601-012-9124-0","volume":"17","author":"Q-D Pham","year":"2012","unstructured":"Pham Q-D, Deville Y, Van Hentenryck P (2012) Ls(graph): a constraint-based local search for constraint optimization on trees and paths. Constraints 17(4):357\u2013408","journal-title":"Constraints"},{"key":"7_CR13","first-page":"46","volume":"AAAI-93","author":"B Selman","year":"1993","unstructured":"Selman B, Kautz H (1993) An empirical study of greedy local search for satisfiability testing. In: AAAI-93, pp 46\u201351","journal-title":"In"},{"key":"7_CR14","first-page":"440","volume":"AAAI-92","author":"B Selman","year":"1992","unstructured":"Selman B, Levesque H, Mitchell D (1992) A new method for solving hard satisfiability problems. In: AAAI-92, pp 440\u2013446","journal-title":"In"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Selman B, Kautz H, Cohen B (1996) Local search strategies for satisfiability testing. In: DIMACS series in discrete mathematics and theoretical computer science, vol 26. American Mathematical Society Publications. DIMACS","DOI":"10.1090\/dimacs\/026\/25"},{"key":"7_CR16","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/BF00143880","volume":"1","author":"BM Smith","year":"1996","unstructured":"Smith BM, Brailsford SC, Hubbard PM, Williams HP (1996) The progressive party problem: integer linear programming and constraint programming compared. Constraints 1:119\u2013138","journal-title":"Constraints"},{"key":"7_CR17","doi-asserted-by":"publisher","DOI":"10.1145\/1461551.1461591","volume-title":"SKETCHPAD: a man-machine graphical communication system","author":"IE Sutherland","year":"1963","unstructured":"Sutherland IE (1963) SKETCHPAD: a man-machine graphical communication system. MIT Lincoln Labs, Cambridge"},{"issue":"4","key":"7_CR18","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1287\/ijoc.14.4.345.2826","volume":"14","author":"P Hentenryck Van","year":"2002","unstructured":"Van Hentenryck P (2002) Constraint and integer programming in OPL. Inform J Comput 14(4):345\u2013372","journal-title":"Inform J Comput"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Van Hentenryck P (2006) Constraint programming as declarative algorithmics. ACP award for research excellence in constraint programming. Available at http:\/\/www.cs.brown.edu\/people\/pvh\/acp.pdf","DOI":"10.1002\/9780470612309.ch1"},{"issue":"2","key":"7_CR20","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/s10601-005-0553-x","volume":"10","author":"P Hentenryck Van","year":"2005","unstructured":"Van Hentenryck P, Michel L (2005) Control abstractions for local search. Constraints 10(2):137\u2013157","journal-title":"Constraints"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Van Hentenryck P, Michel L (2006) Differentiable invariants. In: 12th international conference on principles and practice of constraint programming (CP\u201906), Nantes, Sept 2006. Lecture notes in computer science","DOI":"10.1007\/11889205_43"},{"key":"7_CR22","unstructured":"Van Hentenryck P, Michel L (2007) Synthesis of constraint-based local search algorithms from high-level models. In: Proceedings of the 22nd national conference on artificial intelligence \u2013 volume 1, AAAI\u201907. AAAI Press, pp 273\u2013278"},{"key":"7_CR23","volume-title":"Constraint-based local search","author":"P Hentenryck Van","year":"2009","unstructured":"Van Hentenryck P, Michel L (2009) Constraint-based local search. The MIT Press, Cambridge"},{"issue":"3","key":"7_CR24","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/s10601-005-2811-3","volume":"10","author":"P Hentenryck Van","year":"2005","unstructured":"Van Hentenryck P, Michel L, Liu L (2005) Constraint-based combinators for local search. Constraints 10(3):363\u2013384","journal-title":"Constraints"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Walser JP (1999) Integer optimization by local search: a domain-independent approach. Springer, Berlin\/Heidelberg. ISBN:3-540-66367-3. http:\/\/www.springer.com\/us\/book\/9783540663676","DOI":"10.1007\/3-540-48369-1"}],"container-title":["Handbook of Heuristics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07124-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T09:53:44Z","timestamp":1693821224000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07124-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319071237","9783319071244"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07124-4_7","relation":{},"subject":[],"published":{"date-parts":[[2018]]}}}