{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,22]],"date-time":"2026-02-22T02:21:50Z","timestamp":1771726910289,"version":"3.50.1"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319092836","type":"print"},{"value":"9783319092843","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-09284-3_23","type":"book-chapter","created":{"date-parts":[[2014,7,2]],"date-time":"2014-07-02T09:43:21Z","timestamp":1404294201000},"page":"302-316","source":"Crossref","is-referenced-by-count":7,"title":["Improving Implementation of SLS Solvers for SAT and New Heuristics for k-SAT with Long Clauses"],"prefix":"10.1007","author":[{"given":"Adrian","family":"Balint","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Armin","family":"Biere","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Fr\u00f6hlich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Uwe","family":"Sch\u00f6ning","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","unstructured":"Fukunaga, A.S.: Efficient implementations of SAT local search. In: Proc. SAT 2004 (2004)"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Cai, S., Su, K., Luo, C.: Improving WalkSAT for random k-satisfiability problem with k > 3. In: Proc. AAAI 2013 (2013)","DOI":"10.1609\/aaai.v27i1.8554"},{"key":"23_CR3","unstructured":"Cai, S., Su, K.: Comprehensive score: Towards efficient local search for SAT with long clauses. In: Proc. IJCAI 2013 (2013)"},{"key":"23_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-642-31612-8_3","volume-title":"Theory and Applications of Satisfiability Testing \u2013 SAT 2012","author":"A. Balint","year":"2012","unstructured":"Balint, A., Sch\u00f6ning, U.: Choosing probability distributions for stochastic local search and the role of make versus break. In: Cimatti, A., Sebastiani, R. (eds.) SAT 2012. LNCS, vol.\u00a07317, pp. 16\u201329. Springer, Heidelberg (2012)"},{"key":"23_CR5","unstructured":"McAllester, D.A., Selman, B., Kautz, H.A.: Evidence for invariants in local search. In: Proc. AAAI\/IAAI 1997, pp. 321\u2013326 (1997)"},{"key":"23_CR6","unstructured":"Wu, Z., Wah, B.W.: An efficient global-search strategy in discrete lagrangian methods for solving hard satisfiability problems. In: Proc. AAAI\/IAAI 2000, pp. 310\u2013315 (2000)"},{"key":"23_CR7","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.A.D., 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)"},{"key":"23_CR8","unstructured":"Thornton, J., Pham, D.N., Bain, S., Ferreira. Jr., V.: Additive versus multiplicative clause weighting for SAT. In: Proc. AAAI 2004, pp. 191\u2013196 (2004)"},{"key":"23_CR9","unstructured":"Balint, A.: Engineering stochastic local search for the satisfiability problem. PhD thesis. Ulm University (2013)"},{"key":"23_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/978-3-642-14186-7_3","volume-title":"Theory and Applications of Satisfiability Testing \u2013 SAT 2010","author":"A. Balint","year":"2010","unstructured":"Balint, A., Fr\u00f6hlich, A.: Improving stochastic local search for SAT with a new probability distribution. In: Strichman, O., Szeider, S. (eds.) SAT 2010. LNCS, vol.\u00a06175, pp. 10\u201315. Springer, Heidelberg (2010)"},{"key":"23_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/11527695_24","volume-title":"Theory and Applications of Satisfiability Testing","author":"D.A.D. Tompkins","year":"2005","unstructured":"Tompkins, D.A.D., Hoos, H.H.: UBCSAT: An implementation and experimentation environment for SLS algorithms for SAT & MAX-SAT. In: Hoos, H.H., Mitchell, D.G. (eds.) SAT 2004. LNCS, vol.\u00a03542, pp. 306\u2013320. Springer, Heidelberg (2005)"},{"key":"23_CR12","unstructured":"Biere, A.: The evolution from limmat to NanoSAT. Technical Report 444, Dept.\u00a0of Computer Science, ETH Z\u00fcrich (2004)"},{"key":"23_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/3-540-63104-6_28","volume-title":"Automated Deduction - CADE-14","author":"H. Zhang","year":"1997","unstructured":"Zhang, H.: Sato: An efficient propositional prover. In: McCune, W. (ed.) CADE 1997. LNCS, vol.\u00a01249, pp. 272\u2013275. Springer, Heidelberg (1997)"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Moskewicz, M.W., Madigan, C.F., Zhao, Y., Zhang, L., Malik, S.: Chaff: Engineering an efficient SAT solver. In: Proc. DAC 2001, pp. 530\u2013535 (2001)","DOI":"10.1145\/378239.379017"},{"issue":"2-4","key":"23_CR15","first-page":"75","volume":"4","author":"A. Biere","year":"2008","unstructured":"Biere, A.: PicoSAT essentials. JSAT\u00a04(2-4), 75\u201397 (2008)","journal-title":"JSAT"},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"Hutter, F., Hoos, H.H., Leyton-Brown, K.: Sequential model-based optimization for general algorithm configuration. In: Coello, C.A.C. (ed.) LION 5. LNCS, vol.\u00a06683, pp. 507\u2013523. Springer, Heidelberg (2011)","DOI":"10.1007\/978-3-642-25566-3_40"},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"Balint, A., Diepold, D., Gall, D., Gerber, S., Kapler, G., Retz, R.: EDACC - an advanced platform for the experiment design, administration and analysis of empirical algorithms. In: Coello, C.A.C. (ed.) LION 5. LNCS, vol.\u00a06683, pp. 586\u2013599. Springer, Heidelberg (2011)","DOI":"10.1007\/978-3-642-25566-3_46"},{"key":"23_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/978-3-642-21581-0_24","volume-title":"Theory and Applications of Satisfiability Testing - SAT 2011","author":"D.A.D. Tompkins","year":"2011","unstructured":"Tompkins, D.A.D., Balint, A., Hoos, H.H.: Captain jack: New variable selection heuristics in local search for SAT. In: Sakallah, K.A., Simon, L. (eds.) SAT 2011. LNCS, vol.\u00a06695, pp. 302\u2013316. Springer, Heidelberg (2011)"},{"key":"23_CR19","unstructured":"BWGrid: Member of the German D-Grid initiative, funded by the Ministry for Education and Research (Bundesministerium f\u00fcr Bildung und Forschung) and the Ministry for Science, Research and Arts Baden-W\u00fcrttemberg (Ministerium f\u00fcr Wissenschaft, Forschung und Kunst Baden-W\u00fcrttemberg), http:\/\/www.bw-grid.de"}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Satisfiability Testing \u2013 SAT 2014"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-09284-3_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,14]],"date-time":"2023-07-14T22:57:28Z","timestamp":1689375448000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-09284-3_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319092836","9783319092843"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09284-3_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}