{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,23]],"date-time":"2026-09-23T23:32:11Z","timestamp":1790206331376,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540292388","type":"print"},{"value":"9783540320500","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11564751_62","type":"book-chapter","created":{"date-parts":[[2005,10,18]],"date-time":"2005-10-18T13:31:28Z","timestamp":1129642288000},"page":"772-776","source":"Crossref","is-referenced-by-count":8,"title":["Neighbourhood Clause Weight Redistribution in Local Search for SAT"],"prefix":"10.1007","author":[{"given":"Abdelraouf","family":"Ishtaiwi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John","family":"Thornton","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Abdul","family":"Sattar","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Duc Nghia","family":"Pham","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"62_CR1","volume-title":"Stochastic Local Search","author":"H. Hoos","year":"2005","unstructured":"Hoos, H., Stulze, T.: Stochastic Local Search. Morgan Kaufmann, Cambridge (2005)"},{"key":"62_CR2","unstructured":"Morris, P.: The Breakout method for escaping from local minima. In: Proceedings of 11th AAAI, pp. 40\u201345 (1993)"},{"key":"62_CR3","unstructured":"Cha, B., Iwama, K.: Adding new clauses for faster local search. In: Proceedings of 13th AAAI, pp. 332\u2013337 (1996)"},{"key":"62_CR4","unstructured":"Frank, J.: Learning short-term clause weights for GSAT. In: Proceedings of 15th IJCAI, pp. 384\u2013389 (1997)"},{"key":"62_CR5","unstructured":"McAllester, D., Selman, B., Kautz, H.: Evidence for invariants in local search. In: Proceedings of 14th AAAI, pp. 321\u2013326 (1997)"},{"key":"62_CR6","unstructured":"Wu, Z., Wah, B.: An efficient global-search strategy in discrete Lagrangian methods for solving hard satisfiability problems. In: Proceedings of 17th AAAI, pp. 310\u2013315 (2000)"},{"key":"62_CR7","unstructured":"Schuurmans, D., Southey, F.: Local search characteristics of incomplete SAT procedures. In: Proceedings of 10th AAAI, pp. 297\u2013302 (2000)"},{"key":"62_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/3-540-46135-3_16","volume-title":"Principles and Practice of Constraint Programming - CP 2002","author":"F. Hutter","year":"2002","unstructured":"Hutter, F., Tompkins, D., Hoos, 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)"},{"key":"62_CR9","unstructured":"Thornton, J., Pham, D., Bain, S., Ferreira Jr., V.: Additive versus multiplicative clause weighting for SAT. In: Proceedings of 19th AAAI, pp. 191\u2013196 (2004)"},{"key":"62_CR10","unstructured":"Hoos, H.H.: An adaptive noise mechanism for Walksat. In: Proceedings of 19th AAAI, pp. 655\u2013660 (2002)"},{"key":"62_CR11","unstructured":"Schuurmans, D., Southey, F., Holte, R.: The exponentiated subgradient algorithm for heuristic boolean programming. In: Proceedings of 17th IJCAI, pp. 334\u2013341 (2001)"},{"key":"62_CR12","doi-asserted-by":"crossref","unstructured":"Pullan, W., Zhao, L.: Resolvent clause weighting local search. In: Proceedings of 17th Canadian AI, pp. 233\u2013247 (2004)","DOI":"10.1007\/978-3-540-24840-8_17"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming - CP 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11564751_62","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,17]],"date-time":"2019-03-17T13:43:05Z","timestamp":1552830185000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11564751_62"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540292388","9783540320500"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11564751_62","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}