{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:26:33Z","timestamp":1725560793317},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540292388"},{"type":"electronic","value":"9783540320500"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11564751_7","type":"book-chapter","created":{"date-parts":[[2005,10,18]],"date-time":"2005-10-18T09:31:28Z","timestamp":1129627888000},"page":"47-61","source":"Crossref","is-referenced-by-count":2,"title":["Incremental Algorithms for Local Search from Existential Second-Order Logic"],"prefix":"10.1007","author":[{"given":"Magnus","family":"\u00c5gren","sequence":"first","affiliation":[]},{"given":"Pierre","family":"Flener","sequence":"additional","affiliation":[]},{"given":"Justin","family":"Pearson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"volume-title":"Local Search in Combinatorial Optimization","year":"1997","key":"7_CR1","unstructured":"Aarts, E., Lenstra, J.K. (eds.): Local Search in Combinatorial Optimization. John Wiley & Sons, Chichester (1997)"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/11493853_4","volume-title":"Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems","author":"M. \u00c5gren","year":"2005","unstructured":"\u00c5gren, M., Flener, P., Pearson, J.: Set variables and local search. In: Bart\u00e1k, R., Milano, M. (eds.) CPAIOR 2005. LNCS, vol.\u00a03524, pp. 19\u201333. Springer, Heidelberg (2005)"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/3-540-49201-1_2","volume-title":"Practical Aspects of Declarative Languages","author":"M. Cadoli","year":"1999","unstructured":"Cadoli, M., Palopoli, L., Schaerf, A., Vasile, D.: NPSPEC: An executable specification language for solving all problems in NP. In: Gupta, G. (ed.) PADL 1999. LNCS, vol.\u00a01551, pp. 16\u201330. Springer, Heidelberg (1999)"},{"key":"7_CR4","first-page":"148","volume-title":"Proc. of KR 1996","author":"J.M. Crawford","year":"1996","unstructured":"Crawford, J.M., Ginsberg, M., Luks, E., Roy, A.: Symmetry-breaking predicates for search problems. In: Proc. of KR 1996, pp. 148\u2013159. Morgan Kaufmann, San Francisco (1996)"},{"key":"7_CR5","unstructured":"Fagin, R.: Contributions to the Model Theory of Finite Structures, PhD thesis, UC Berkeley, California, USA (1973)"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-540-25938-1_18","volume-title":"Logic Based Program Synthesis and Transformation","author":"P. Flener","year":"2004","unstructured":"Flener, P., Pearson, J., \u00c5gren, M.: Introducing ESRA, a relational language for modelling combinatorial problems. In: Bruynooghe, M. (ed.) LOPSTR 2004. LNCS, vol.\u00a03018, pp. 214\u2013232. Springer, Heidelberg (2004)"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-3-540-30201-8_19","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2004","author":"P. Flener","year":"2004","unstructured":"Flener, P., Pearson, J., Reyna, L.G.: Financial portfolio optimisation. In: Wallace, M. (ed.) CP 2004. LNCS, vol.\u00a03258, pp. 227\u2013241. Springer, Heidelberg (2004)"},{"key":"7_CR8","volume-title":"Descriptive Complexity","author":"N. Immerman","year":"1998","unstructured":"Immerman, N.: Descriptive Complexity. Springer, Heidelberg (1998)"},{"key":"7_CR9","unstructured":"Mancini, T.: Declarative constraint modelling and specification-level reasoning. PhD thesis, Universit\u00e0 degli Studi di Roma \u201cLa Sapienza\u201d, Italy (2004)"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/BFb0017443","volume-title":"Principles and Practice of Constraint Programming - CP97","author":"L. Michel","year":"1997","unstructured":"Michel, L., Van Hentenryck, P.: Localizer: A modeling language for local search. In: Smolka, G. (ed.) CP 1997. LNCS, vol.\u00a01330, pp. 237\u2013251. Springer, Heidelberg (1997)"},{"issue":"11","key":"7_CR11","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1145\/583854.582430","volume":"37","author":"L. Michel","year":"2002","unstructured":"Michel, L., Van Hentenryck, P.: A constraint-based architecture for local search. ACM SIGPLAN Notices\u00a037(11), 101\u2013110 (2002); Proc. of OOPSLA 2002","journal-title":"ACM SIGPLAN Notices"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Nareyek, A.: Using global constraints for local search. In: Constraint Programming and Large Scale Discrete Optimization. DIMACS: Series in Discrete Mathematics and Theoretical Computer Science, vol.\u00a057, pp. 9\u201328. American Mathematical Society (2001)","DOI":"10.1090\/dimacs\/057\/02"},{"key":"7_CR13","unstructured":"Sivertsson, O.: Construction of synthetic CDO Squared. Master\u2019s thesis, Computing Science, Department of Information Technology, Uppsala University, Sweden (2005)"},{"key":"7_CR14","volume-title":"The OPL Optimization Programming Language","author":"P. Hentenryck Van","year":"1999","unstructured":"Van Hentenryck, P.: The OPL Optimization Programming Language. MIT Press, Cambridge (1999)"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-540-30201-8_7","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2004","author":"P. Hentenryck Van","year":"2004","unstructured":"Van Hentenryck, P., Michel, L., Liu, L.: Constraint-based combinators for local search. In: Wallace, M. (ed.) CP 2004. LNCS, vol.\u00a03258, pp. 47\u201361. Springer, Heidelberg (2004)"},{"key":"7_CR16","series-title":"LNCS","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48369-1","volume-title":"Integer Optimization by Local Search","author":"J.P. Walser","year":"1999","unstructured":"Walser, J.P.: Integer Optimization by Local Search. LNCS, vol.\u00a01637. Springer, Heidelberg (1999)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming - CP 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11564751_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T06:13:23Z","timestamp":1586499203000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11564751_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540292388","9783540320500"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11564751_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}