{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,23]],"date-time":"2025-04-23T13:05:43Z","timestamp":1745413543821},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642237850"},{"type":"electronic","value":"9783642237867"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23786-7_49","type":"book-chapter","created":{"date-parts":[[2011,8,31]],"date-time":"2011-08-31T07:58:42Z","timestamp":1314777522000},"page":"645-659","source":"Crossref","is-referenced-by-count":19,"title":["Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation"],"prefix":"10.1007","author":[{"given":"M. A. Hakim","family":"Newton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Duc Nghia","family":"Pham","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdul","family":"Sattar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Maher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"49_CR1","unstructured":"Alpern, B., Hoover, R., Rosen, B.K., Sweeney, P.F., Zadeck, F.K.: Incremental evaluation of computational circuits. In: SODA, pp. 32\u201342 (1990)"},{"key":"49_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/978-3-642-13520-0_29","volume-title":"Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems","author":"Q.D. Pham","year":"2010","unstructured":"Pham, Q.D., Deville, Y., Van Hentenryck, P.: Constraint-based local search for constrained optimum paths problems. In: Lodi, A., Milano, M., Toth, P. (eds.) CPAIOR 2010. LNCS, vol.\u00a06140, pp. 267\u2013281. Springer, Heidelberg (2010)"},{"key":"49_CR3","first-page":"81","volume-title":"Optimization Software Class Libraries","author":"A. Fink","year":"2002","unstructured":"Fink, A., Voss, S.: Hotframe: A heuristic optimization framework. In: Woodruff, D.L., Voss, S. (eds.) Optimization Software Class Libraries, pp. 81\u2013154. Kluwer, Dordrecht (2002)"},{"issue":"8","key":"49_CR4","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1002\/spe.524","volume":"33","author":"L. Gaspero Di","year":"2003","unstructured":"Di Gaspero, L., Schaerf, A.: EasyLocal++: An object-oriented framework for flexible design of local search algorithms. Software \u2014 Practice & Experience\u00a033(8), 733\u2013765 (2003)","journal-title":"Software \u2014 Practice & Experience"},{"key":"49_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"787","DOI":"10.1007\/978-3-642-04244-7_61","volume-title":"Principles and Practice of Constraint Programming - CP 2009","author":"P. Hentenryck Van","year":"2009","unstructured":"Van Hentenryck, P., Coffrin, C., Gutkovich, B.: Constraint-based local search for the automatic generation of architectural tests. In: Gent, I.P. (ed.) CP 2009. LNCS, vol.\u00a05732, pp. 787\u2013801. Springer, Heidelberg (2009)"},{"key":"49_CR6","volume-title":"Constraint-Based Local Search","author":"P. Hentenryck Van","year":"2005","unstructured":"Van Hentenryck, P., Michel, L.: Constraint-Based Local Search. The MIT Press, Cambridge (2005)"},{"issue":"2","key":"49_CR7","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.: Control abstractions for local search. Constraints\u00a010(2), 137\u2013157 (2005)","journal-title":"Constraints"},{"key":"49_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"604","DOI":"10.1007\/11889205_43","volume-title":"Principles and Practice of Constraint Programming - CP 2006","author":"P. Hentenryck Van","year":"2006","unstructured":"Van Hentenryck, P., Michel, L.: Differentiable invariants. In: Benhamou, F. (ed.) CP 2006. LNCS, vol.\u00a04204, pp. 604\u2013619. Springer, Heidelberg (2006)"},{"issue":"3","key":"49_CR9","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1145\/117009.117012","volume":"13","author":"S.E. Hudson","year":"1991","unstructured":"Hudson, S.E.: Incremental attribute evaluation: A flexible algorithm for lazy update. ACM Trans. Program. Lang. Syst.\u00a013(3), 315\u2013341 (1991)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"1\/2","key":"49_CR10","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1023\/A:1009818401322","volume":"5","author":"L. Michel","year":"2000","unstructured":"Michel, L., Van Hentenryck, P.: Localizer. Constraints\u00a05(1\/2), 43\u201384 (2000)","journal-title":"Constraints"},{"key":"49_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"Constraint-Based Agents","author":"A. Nareyek","year":"2001","unstructured":"Nareyek, A.: Constraint-Based Agents. LNCS, vol.\u00a02062. Springer, Heidelberg (2001)"},{"key":"49_CR12","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1090\/dimacs\/057\/02","volume-title":"Constraint Programming and Large Scale Discrete Optimization","author":"A. Nareyek","year":"2001","unstructured":"Nareyek, A.: Using global constraints for local search. In: Freuder, E.C., Wallace, R.J. (eds.) Constraint Programming and Large Scale Discrete Optimization, pp. 9\u201328. American Mathematical Society Publications, Providence (2001)"},{"key":"49_CR13","unstructured":"Pham, D.N., Thornton, J., Sattar, A.: Building structure into local search for SAT. In: IJCAI, pp. 2359\u20132364 (2007)"},{"key":"49_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"716","DOI":"10.1007\/3-540-45578-7_58","volume-title":"Principles and Practice of Constraint Programming - CP 2001","author":"C. Voudouris","year":"2001","unstructured":"Voudouris, C., Dorne, R., Lesaint, D., Liret, A.: iOpt: A software toolkit for heuristic search methods. In: Walsh, T. (ed.) CP 2001. LNCS, vol.\u00a02239, pp. 716\u2013719. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2013 CP 2011"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23786-7_49","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,6]],"date-time":"2018-10-06T13:18:02Z","timestamp":1538831882000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23786-7_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642237850","9783642237867"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23786-7_49","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}