{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,10]],"date-time":"2026-11-10T22:52:46Z","timestamp":1794351166959,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540769262","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-76928-6_23","type":"book-chapter","created":{"date-parts":[[2007,11,22]],"date-time":"2007-11-22T11:05:04Z","timestamp":1195729504000},"page":"213-222","source":"Crossref","is-referenced-by-count":8,"title":["Advances in Local Search for Satisfiability"],"prefix":"10.1007","author":[{"given":"Duc Nghia","family":"Pham","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John","family":"Thornton","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Charles","family":"Gretton","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Abdul","family":"Sattar","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"7","key":"23_CR1","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1145\/368273.368557","volume":"5","author":"M. Davis","year":"1962","unstructured":"Davis, M., Logemann, G., Loveland, D.: A machine program for theorem proving. Communications of the ACM\u00a05(7), 394\u2013397 (1962)","journal-title":"Communications of the ACM"},{"key":"23_CR2","unstructured":"Selman, B., Levesque, H., Mitchell, D.: A new method for solving hard satisfiability problems. Proceedings of AAAI 1992, 440\u2013446 (1992)"},{"key":"23_CR3","unstructured":"McAllester, D.A., Selman, B., Kautz, H.A.: Evidence for invariants in local search. In: Proceedings of AAAI 1997, pp. 321\u2013326 (1997)"},{"key":"23_CR4","unstructured":"Morris, P.: The Breakout method for escaping from local minima. In: Proceedings of AAAI 1993, pp. 40\u201345 (1993)"},{"key":"23_CR5","unstructured":"Anbulagan, P.D.N., Slaney, J., Sattar, A.: Old resolution meets modern SLS. In: Proceedings of AAAI 2005, pp. 354\u2013359 (2005)"},{"key":"23_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1007\/b103174","volume-title":"SAT 2005","author":"C.M. Li","year":"2005","unstructured":"Li, C.M., Huang, W.Q.: Diversification and determinism in local search for satisfiability. In: Bacchus, F., Walsh, T. (eds.) SAT 2005. LNCS, vol.\u00a03569, pp. 158\u2013172. Springer, Heidelberg (2005)"},{"key":"23_CR7","unstructured":"Hoos, H.H.: On the run-time behaviour of stochastic local search algorithms for SAT. In: Proceedings of AAAI 1999, pp. 661\u2013666 (1999)"},{"key":"23_CR8","unstructured":"Hoos, H.H.: An adaptive noise mechanism for WalkSAT. In: Proceedings of AAAI 2002, pp. 635\u2013660 (2002)"},{"key":"23_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/3-540-46135-3_16","volume-title":"CP 2002","author":"F. Hutter","year":"2002","unstructured":"Hutter, F., Tompkins, D.A., Hoos, H.H.: Scaling and probabilistic smoothing: Efficient dynamic local search for SAT. In: Van Hentenryck, P. (ed.) CP 2002. LNCS, vol.\u00a02470, pp. 233\u2013248. Springer, Heidelberg (2002)"},{"issue":"1-3","key":"23_CR10","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/s10817-005-9010-1","volume":"35","author":"J.R. Thornton","year":"2005","unstructured":"Thornton, J.R.: Clause weighting local search for SAT. Journal of Automated Reasoning\u00a035(1-3), 97\u2013142 (2005)","journal-title":"Journal of Automated Reasoning"},{"key":"23_CR11","unstructured":"Li, C.M., Wei, W., Zhang, H.: Combining adaptive noise and look-ahead in local search for SAT. In: Proceedings of LSCS 2006 Workshop, pp. 2\u201316 (2006)"},{"key":"23_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/11889205_17","volume-title":"CP 2006","author":"F. Hutter","year":"2006","unstructured":"Hutter, F., Hamadi, Y., Hoos, H.H., Leyton-Brown, K.: Performance prediction and automated tuning of randomized and parametric algorithms. In: Benhamou, F. (ed.) CP 2006. LNCS, vol.\u00a04204, pp. 213\u2013228. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","AI 2007: Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76928-6_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:47:07Z","timestamp":1619506027000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76928-6_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540769262"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76928-6_23","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-540-76928-6","asserted-by":"object"}]},"subject":[]}}