{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T14:03:35Z","timestamp":1777125815676,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540735533","type":"print"},{"value":"9783540735540","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73554-0_17","type":"book-chapter","created":{"date-parts":[[2007,8,22]],"date-time":"2007-08-22T13:27:13Z","timestamp":1187789233000},"page":"178-187","source":"Crossref","is-referenced-by-count":4,"title":["Principles of Stochastic Local Search"],"prefix":"10.1007","author":[{"given":"Uwe","family":"Sch\u00f6ning","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","DOI":"10.1515\/9780691187563","volume-title":"Local Search in Combinatorial Optimization","author":"E. Aarts","year":"2003","unstructured":"Aarts, E., Lenstra, J.K.: Local Search in Combinatorial Optimization. Princeton University Press, Princeton, NJ (2003)"},{"key":"17_CR2","volume-title":"Information Theory","author":"R.B. Ash","year":"1965","unstructured":"Ash, R.B.: Information Theory. Dover, Mineola, NY (1965)"},{"key":"17_CR3","volume-title":"Search Methods for Artificial Intelligence","author":"L. Bolc","year":"1992","unstructured":"Bolc, L., Cytowski, J.: Search Methods for Artificial Intelligence. Academic Press, San Diego (1992)"},{"key":"17_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/3-540-45022-X_21","volume-title":"Automata, Languages and Programming","author":"E. Dantsin","year":"2000","unstructured":"Dantsin, E., Goerdt, A., Hirsch, E.A., Sch\u00f6ning, U.: Deterministic algorithms for k-SAT based on covering codes and local search. In: Welzl, E., Montanari, U., Rolim, J.D.P. (eds.) ICALP 2000. LNCS, vol.\u00a01853, pp. 236\u2013247. Springer, Heidelberg (2000)"},{"issue":"1","key":"17_CR5","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/S0304-3975(01)00174-8","volume":"289","author":"E. Dantsin","year":"2002","unstructured":"Dantsin, E., Goerdt, A., Hirsch, E.A., Kannan, R., Kleinberg, J., Papadimitriou, C., Raghavan, P., Sch\u00f6ning, U.: A deterministic $(2-{2\\over k+1})^n$ algorithm for k-SAT based on local search. Theoretical Computer Science\u00a0289(1), 69\u201383 (2002)","journal-title":"Theoretical Computer Science"},{"key":"17_CR6","volume-title":"An Introduction to Probability Theory and Its Applications","author":"W. Feller","year":"1968","unstructured":"Feller, W.: An Introduction to Probability Theory and Its Applications. Wiley, Chichester (1968)"},{"key":"17_CR7","doi-asserted-by":"crossref","DOI":"10.1002\/3527606734","volume-title":"Phase Transitions in Combinatorial Optimization Problems","author":"A.K. Hartmann","year":"2005","unstructured":"Hartmann, A.K., Weigt, M.: Phase Transitions in Combinatorial Optimization Problems. Wiley-VHC, Chichester (2005)"},{"key":"17_CR8","unstructured":"Hoos, H.: Stochastic Local Search - Methods, Models, Applications. PhD dissertation, Universit\u00e4t Darmstadt (1998)"},{"key":"17_CR9","volume-title":"Stochastic Local Search - Foundations and Applications","author":"H. Hoos","year":"2004","unstructured":"Hoos, H., St\u00fctzle, T.: Stochastic Local Search - Foundations and Applications. Morgan Kaufmann, San Francisco (2004)"},{"key":"17_CR10","volume-title":"Theoretical Aspects of Local Search","author":"W. Michiels","year":"2007","unstructured":"Michiels, W., Aarts, E., Korst, J.: Theoretical Aspects of Local Search. Springer, Heidelberg (2007)"},{"key":"17_CR11","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1109\/SFCS.1991.185365","volume-title":"Proceedings of the 32nd Ann. IEEE Symp. on Foundations of Computer Science","author":"C.H. Papadimitriou","year":"1991","unstructured":"Papadimitriou, C.H.: On selecting a satisfying truth assignment. In: Proceedings of the 32nd Ann. IEEE Symp. on Foundations of Computer Science, pp. 163\u2013169. IEEE Computer Society Press, Los Alamitos (1991)"},{"key":"17_CR12","volume-title":"Computational Complexity and Statistical Physics","year":"2006","unstructured":"Perkus, A., Istrate, G., Moore, C. (eds.): Computational Complexity and Statistical Physics. Oxford University Press, Oxford (2006)"},{"key":"17_CR13","volume-title":"Stochastic Optimization","author":"J.J. Schneider","year":"2006","unstructured":"Schneider, J.J., Kirkpatrick, S.: Stochastic Optimization. Springer, Heidelberg (2006)"},{"key":"17_CR14","unstructured":"Sch\u00f6ning, U.: On The Complexity Of Constraint Satisfaction Problems. Ulmer Informatik-Berichte, Nr. 99-03. Universit\u00e4t Ulm, Fakult\u00e4t f\u00fcr Informatik (1999)"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Sch\u00f6ning, U.: A probabilistic algorithm for k-SAT and constraint satisfaction problems. In: Proceedings 40th IEEE Symposium on Foundations of Computer Science, pp. 410\u2013414 (1999)","DOI":"10.1109\/SFFCS.1999.814612"},{"issue":"4","key":"17_CR16","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1007\/s00453-001-0094-7","volume":"32","author":"U. Sch\u00f6ning","year":"2002","unstructured":"Sch\u00f6ning, U.: A probabilistic algorithm for k-SAT based on limited local search and restart. Algorithmica\u00a032(4), 615\u2013623 (2002)","journal-title":"Algorithmica"}],"container-title":["Lecture Notes in Computer Science","Unconventional Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73554-0_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T14:43:23Z","timestamp":1737384203000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73554-0_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540735533","9783540735540"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73554-0_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}