{"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":1777125815679,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642141850","type":"print"},{"value":"9783642141867","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-14186-7_31","type":"book-chapter","created":{"date-parts":[[2010,7,8]],"date-time":"2010-07-08T22:20:37Z","timestamp":1278627637000},"page":"346-351","source":"Crossref","is-referenced-by-count":10,"title":["An Empirical Study of Optimal Noise and Runtime Distributions in Local Search"],"prefix":"10.1007","author":[{"given":"Lukas","family":"Kroc","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ashish","family":"Sabharwal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bart","family":"Selman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"31_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1007\/3-540-45578-7_28","volume-title":"Principles and Practice of Constraint Programming - CP 2001","author":"H. Chen","year":"2001","unstructured":"Chen, H., Gomes, C., Selman, B.: Formal models of heavy-tailed behavior in combinatorial search. In: Walsh, T. (ed.) CP 2001. LNCS, vol.\u00a02239, p. 408. Springer, Heidelberg (2001)"},{"issue":"2","key":"31_CR2","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1006\/jagm.1996.0016","volume":"20","author":"A. Frieze","year":"1996","unstructured":"Frieze, A., Suen, S.: Analysis of two simple heuristics on a random instance of k-SAT. J. Algorithms\u00a020(2), 312\u2013355 (1996)","journal-title":"J. Algorithms"},{"key":"31_CR3","unstructured":"Gomes, C.P., Selman, B., Kautz, H.: Boosting combinatorial search through randomization. In: 15th AAAI, Madison, WI, July 1998, pp. 431\u2013437 (1998)"},{"issue":"1-2","key":"31_CR4","first-page":"213","volume":"112","author":"H.H. Hoos","year":"1999","unstructured":"Hoos, H.H., St\u00fctzle, T.: Towards a characterization of the behavior of stochastic local search algorithms for SAT. AI J.\u00a0112(1-2), 213\u2013232 (1999)","journal-title":"AI J"},{"key":"31_CR5","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1103\/PhysRevLett.94.197205","volume":"94","author":"M. M\u00e9zard","year":"2005","unstructured":"M\u00e9zard, M., Mora, T., Zecchina, R.: Clustering of solutions in the random satisfiability problem. Phy. Rev. Lett.\u00a094, 197\u2013205 (2005)","journal-title":"Phy. Rev. Lett."},{"key":"31_CR6","doi-asserted-by":"crossref","unstructured":"Seitz, S., Alava, M., Orponen, P.: Focused local search for random 3-satisfiability. J. Stat. Mech.,\u00a0P06006 (2005)","DOI":"10.1088\/1742-5468\/2005\/06\/P06006"},{"key":"31_CR7","series-title":"DIMACS Series in DMTCS","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1090\/dimacs\/026\/25","volume-title":"Cliques, Coloring and Satisfiability: the Second DIMACS Implementation Challenge","author":"B. Selman","year":"1996","unstructured":"Selman, B., Kautz, H., Cohen, B.: Local search strategies for satisfiability testing. In: Johnson, D.S., Trick, M.A. (eds.) Cliques, Coloring and Satisfiability: the Second DIMACS Implementation Challenge. DIMACS Series in DMTCS, vol.\u00a026, pp. 521\u2013532. Amer. Math. Soc., Providence (1996)"}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Satisfiability Testing \u2013 SAT 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14186-7_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T13:36:26Z","timestamp":1552656986000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14186-7_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642141850","9783642141867"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14186-7_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}