{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:41:57Z","timestamp":1725514917652},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540723967"},{"type":"electronic","value":"9783540723974"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-72397-4_18","type":"book-chapter","created":{"date-parts":[[2007,6,22]],"date-time":"2007-06-22T15:56:32Z","timestamp":1182527792000},"page":"244-259","source":"Crossref","is-referenced-by-count":2,"title":["Preprocessing Expression-Based Constraint Satisfaction Problems for Stochastic Local Search"],"prefix":"10.1007","author":[{"given":"Sivan","family":"Sabato","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yehuda","family":"Naveh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","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":"18_CR2","volume-title":"Stochastic Local Search: Foundations and Applications","author":"H.H. Hoos","year":"2004","unstructured":"Hoos, H.H., Steutzle, T.: Stochastic Local Search: Foundations and Applications. Morgan Kaufmann, San Francisco (2004)"},{"key":"18_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/978-3-540-45193-8_5","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"P. Hentenryck Van","year":"2003","unstructured":"Van Hentenryck, P., Michel, L.: Control abstractions for local search. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833, pp. 65\u201380. Springer, Heidelberg (2003)"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Nareyek, A.: Using global constraints for local search. In: Constraint Programming and Large Scale Discrete Optimization. DIMACS, vol.\u00a057, pp. 9\u201328 (2001)","DOI":"10.1090\/dimacs\/057\/02"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Selman, B., Kautz, H., Cohen, B.: Local search strategies for satisfiability testing. In: DIMACS Series in Discrete Mathematics and Theoretical Computer Science vol. 26 (1996)","DOI":"10.1090\/dimacs\/026\/25"},{"key":"18_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.D., Vecchi, M.P.: Optimization by simulated annealing. Science\u00a0220, 671\u2013680 (1983), citeseer.ist.psu.edu\/kirkpatrick83optimization.html","journal-title":"Science"},{"key":"18_CR7","unstructured":"Minton, S., Johnston, M.D., Phillips, A.B., Laird, P.: Solving large-scale constraint satisfaction and scheduling problems using a heuristic repair method. In: AAAI-90, pp. 17\u201324 (1990)"},{"key":"18_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-6089-0","volume-title":"Tabu Search","author":"F. Glover","year":"1997","unstructured":"Glover, F., Laguna, M.: Tabu Search. Kluwer Academic Publishers, Dordrecht (1997)"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Hansen, P., Mladenovic, N.: Introduction to variable neighbourhood search. In: Metaheuristics: Advances and Trends in Local Search Procedures for Optimization, pp. 433\u2013458 (1999)","DOI":"10.1007\/978-1-4615-5775-3_30"},{"key":"18_CR10","unstructured":"Bacchus, F.: Enhancing Davis Putnam with extended binary clause reasoning. In: AAAI-02 (2002), citeseer.csail.mit.edu\/bacchus02enhancing.html"},{"key":"18_CR11","unstructured":"Bacchus, F., Walsh, T.: Propagating logical combinations of constraints. In: IJCAI-05, pp. 35\u201340 (2005)"},{"issue":"3","key":"18_CR12","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/0167-6377(94)90065-5","volume":"16","author":"K.D. Boese","year":"1994","unstructured":"Boese, K.D., Kahng, A.B., Muddu, S.: A new adaptive multi-start technique for combinatorial global optimizations. Operations Res. Lett.\u00a016(3), 101\u2013113 (1994)","journal-title":"Operations Res. Lett."},{"key":"18_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"772","DOI":"10.1007\/3-540-46135-3_69","volume-title":"Principles and Practice of Constraint Programming - CP 2002","author":"M. Bohlin","year":"2002","unstructured":"Bohlin, M.: Improving cost calculations for global constraints in local search. In: Van Hentenryck, P. (ed.) CP 2002. LNCS, vol.\u00a02470, p. 772. Springer, Heidelberg (2002)"},{"key":"18_CR14","unstructured":"Naveh, Y.: Stochastic solver for constraint satisfaction problems with learning of high-level characteristics of the problem topography. In: Local Search Techniques in Constraint Satisfaction, LSCS-04 (2004)"},{"key":"18_CR15","unstructured":"Naveh, Y., Rimon, M., Jaeger, I., Katz, Y., Vinov, M., Marcus, E., Shurek, G.: Constraint-based random stimuli generation for hardware verification. AI Magazine (2007)"},{"key":"18_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/3-540-49481-2_30","volume-title":"Principles and Practice of Constraint Programming - CP98","author":"P. Shaw","year":"1998","unstructured":"Shaw, P.: Using constraint programming and local search methods to solve vehicle routing problems. In: Maher, M.J., Puget, J.-F. (eds.) Principles and Practice of Constraint Programming - CP98. LNCS, vol.\u00a01520, p. 417. Springer, Heidelberg (1998)"},{"key":"18_CR17","volume-title":"Computers and Intractability: a Guide to Theory of NP-completeness","author":"M. Garey","year":"1979","unstructured":"Garey, M., Johnson, D.: Computers and Intractability: a Guide to Theory of NP-completeness. W.H. Freeman, New York (1979)"},{"key":"18_CR18","volume-title":"Constraint-Based Local Search","author":"P. Hentenryck Van","year":"2005","unstructured":"Van Hentenryck, P., Michel, L.: Constraint-Based Local Search. MIT Press, Cambridge (2005)"},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"Adir, A., Bin, E., Peled, O., Ziv, A.: Piparazzi: A test program generator for micro-architecture flow verification. In: Eighth IEEE International High-Level Design Validation and Test Workshop, HLDVT-03, pp. 23\u201328 (2003)","DOI":"10.1109\/HLDVT.2003.1252470"},{"key":"18_CR20","doi-asserted-by":"crossref","unstructured":"Naveh, Y., Richter, Y., Altshuler, Y., Gresh, D.L., Connors, D.P.: Workforce optimization: Identification and assignment of professional workers using constraint programming. IBM Journal or Research and Development (2007)","DOI":"10.1147\/rd.513.0263"},{"key":"18_CR21","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(95)00048-8","volume":"81","author":"P. Prosser","year":"1996","unstructured":"Prosser, P.: An empirical study of phase transition in binary constraint satisfaction problems. Artificial Intelligence\u00a081, 81\u2013109 (1996)","journal-title":"Artificial Intelligence"},{"key":"18_CR22","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1038\/22055","volume":"400","author":"R. Monasson","year":"1999","unstructured":"Monasson, R., Zecchina, R., Kirkpatrick, S., Selman, B., Ttroyansky, L.: Determining computational complexity from characteristic \u2019phase transition\u2019. Nature\u00a0400, 133\u2013137 (1999)","journal-title":"Nature"}],"container-title":["Lecture Notes in Computer Science","Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72397-4_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T05:10:05Z","timestamp":1556514605000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72397-4_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540723967","9783540723974"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72397-4_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}