{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T05:07:47Z","timestamp":1725685667811},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642304477"},{"type":"electronic","value":"9783642304484"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30448-4_2","type":"book-chapter","created":{"date-parts":[[2012,5,25]],"date-time":"2012-05-25T15:34:21Z","timestamp":1337960061000},"page":"9-16","source":"Crossref","is-referenced-by-count":1,"title":["Constraint Propagation as the Core of Local Search"],"prefix":"10.1007","author":[{"given":"Nikolaos","family":"Pothitos","sequence":"first","affiliation":[]},{"given":"George","family":"Kastrinis","sequence":"additional","affiliation":[]},{"given":"Panagiotis","family":"Stamatopoulos","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Springer Opt. and Its Applications","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1007\/978-1-4419-1644-0_14","volume-title":"Hybrid Optimization","author":"P. Barahona","year":"2011","unstructured":"Barahona, P., Krippahl, L., Perriquet, O.: Bioinformatics: A challenge to constraint programming. In: Van Hentenryck, P., Milano, M. (eds.) Hybrid Optimization. Springer Opt. and Its Applications, vol.\u00a045, pp. 463\u2013487. Springer, New York (2011)"},{"key":"2_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/978-3-540-24674-9_36","volume-title":"Methods and Applications of Artificial Intelligence","author":"K. Chatzikokolakis","year":"2004","unstructured":"Chatzikokolakis, K., Boukeas, G., Stamatopoulos, P.: Construction and Repair: A Hybrid Approach to Search in CSPs. In: Vouros, G.A., Panayiotopoulos, T. (eds.) SETN 2004. LNCS (LNAI), vol.\u00a03025, pp. 342\u2013351. Springer, Heidelberg (2004)"},{"key":"2_CR3","first-page":"171","volume-title":"Comp. Learn. Theory and Natural Learn. Syst.","author":"W. Cohen","year":"1994","unstructured":"Cohen, W., Greiner, R., Schuurmans, D.: Probabilistic hill-climbing. In: Hanson, S.J., Petsche, T., Kearns, M., Rivest, R.L. (eds.) Comp. Learn. Theory and Natural Learn. Syst., vol.\u00a0II, pp. 171\u2013181. The MIT Press, Cambridge (1994)"},{"issue":"8","key":"2_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 the flexible design of local-search algorithms. S\/W Pract. Exp.\u00a033(8), 733\u2013765 (2003)","journal-title":"S\/W Pract. Exp."},{"key":"2_CR5","unstructured":"ECLiPSe constraint programming system (2011), \n                    \n                      http:\/\/eclipseclp.org"},{"key":"2_CR6","first-page":"81","volume-title":"Opt. S\/W Cl. Lib.","author":"A. Fink","year":"2002","unstructured":"Fink, A., Vo\u00df, S.: HotFrame: A heuristic optimization framework. In: Vo\u00df, S., Woodruff, D. (eds.) Opt. S\/W Cl. Lib., vol.\u00a018, pp. 81\u2013154. Kluwer, Boston (2002)"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"480","DOI":"10.1007\/978-3-540-48085-3_36","volume-title":"Principles and Practice of Constraint Programming \u2013 CP\u201999","author":"I.P. Gent","year":"1999","unstructured":"Gent, I.P., Walsh, T.: CSPlib: A Benchmark Library for Constraints. In: Jaffar, J. (ed.) CP 1999. LNCS, vol.\u00a01713, pp. 480\u2013481. Springer, Heidelberg (1999), \n                    \n                      http:\/\/CSPLib.org"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Hoos, H.H., Tsang, E.: Local search methods. In: Rossi, et al. (eds.) [16], ch. 5, pp. 135\u2013167","DOI":"10.1016\/S1574-6526(06)80009-X"},{"key":"2_CR9","unstructured":"Ilog Solver (2010), \n                    \n                      http:\/\/ilog.com\/products\/cp"},{"issue":"4598","key":"2_CR10","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 Jr., C.D., Vecchi, M.P.: Optimization by simulated annealing. Science\u00a0220(4598), 671\u2013680 (1983)","journal-title":"Science"},{"key":"2_CR11","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":"M.A. Hakim Newton","year":"2011","unstructured":"Hakim Newton, M.A., 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.\u00a06876, pp. 645\u2013659. Springer, Heidelberg (2011)"},{"key":"2_CR12","first-page":"2359","volume-title":"IJCAI 2007","author":"D.N. Pham","year":"2007","unstructured":"Pham, D.N., Thornton, J., Sattar, A.: Building structure into local search for SAT. In: Veloso, M.M. (ed.) IJCAI 2007, pp. 2359\u20132364. AAAI Press, Menlo Park (2007)"},{"key":"2_CR13","unstructured":"Pothitos, N.: Naxos Solver (2011), \n                    \n                      http:\/\/di.uoa.gr\/~pothitos\/naxos"},{"issue":"1","key":"2_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1963190.1963191","volume":"16","author":"P. Prosser","year":"2011","unstructured":"Prosser, P., Unsworth, C.: Limited discrepancy search revisited. Journal of Experimental Algorithmics\u00a016(1), 1.6:1\u20131.6:18 (2011)","journal-title":"Journal of Experimental Algorithmics"},{"issue":"1","key":"2_CR15","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/s10951-008-0077-5","volume":"12","author":"R. Qu","year":"2009","unstructured":"Qu, R., Burke, E.K., McCollum, B., Merlot, L.T.G., Lee, S.Y.: A survey of search methodologies and automated system development for examination timetabling. Journal of Scheduling\u00a012(1), 55\u201389 (2009)","journal-title":"Journal of Scheduling"},{"key":"2_CR16","series-title":"Foundations of Artificial Intelligence","volume-title":"Handbook of Constraint Programming","year":"2006","unstructured":"Rossi, F., van Beek, P., Walsh, T. (eds.): Handbook of Constraint Programming. Foundations of Artificial Intelligence. Elsevier Science, Amsterdam (2006)"},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/3-540-58601-6_86","volume-title":"Principles and Practice of Constraint Programming","author":"D. Sabin","year":"1994","unstructured":"Sabin, D., Freuder, E.C.: Contradicting Conventional Wisdom in Constraint Satisfaction. In: Borning, A. (ed.) PPCP 1994. LNCS, vol.\u00a0874, pp. 10\u201320. Springer, Heidelberg (1994)"},{"issue":"1","key":"2_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1452044.1452046","volume":"31","author":"C. Schulte","year":"2008","unstructured":"Schulte, C., Stuckey, P.J.: Efficient constraint propagation engines. ACM Transactions on Programming Languages and Systems\u00a031(1), 2:1\u20132:43 (2008)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Smith, B.M.: Modelling. In: Rossi, et al. (eds.) [16], ch. 11, pp. 377\u2013406","DOI":"10.1016\/S1574-6526(06)80015-5"},{"issue":"4","key":"2_CR20","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1142\/S0218213098000196","volume":"7","author":"P. Stamatopoulos","year":"1998","unstructured":"Stamatopoulos, P., Viglas, E., Karaboyas, S.: Nearly optimum timetable construction through CLP and intelligent search. Int\u2019l J. on AI Tools\u00a07(4), 415\u2013442 (1998)","journal-title":"Int\u2019l J. on AI Tools"},{"issue":"2","key":"2_CR21","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/s10601-008-9061-0","volume":"14","author":"N. Tamura","year":"2009","unstructured":"Tamura, N., Taga, A., Kitagawa, S., Banbara, M.: Compiling finite linear CSP into SAT. Constraints\u00a014(2), 254\u2013272 (2009)","journal-title":"Constraints"},{"issue":"3","key":"2_CR22","first-page":"215","volume":"13","author":"E. Tsang","year":"1999","unstructured":"Tsang, E.: A glimpse of constraint satisfaction. AI Review\u00a013(3), 215\u2013227 (1999)","journal-title":"AI Review"},{"key":"2_CR23","series-title":"Logic Programming","volume-title":"Constraint-Based Local Search","author":"P. Hentenryck Van","year":"2009","unstructured":"Van Hentenryck, P., Michel, L.: Constraint-Based Local Search. Logic Programming. The MIT Press, Cambridge (2009)"},{"key":"2_CR24","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\u2013729. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence: Theories and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30448-4_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:40:19Z","timestamp":1620128419000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30448-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642304477","9783642304484"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30448-4_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}