{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T13:59:21Z","timestamp":1777125561393,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642215803","type":"print"},{"value":"9783642215810","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-21581-0_32","type":"book-chapter","created":{"date-parts":[[2011,6,10]],"date-time":"2011-06-10T09:30:19Z","timestamp":1307698219000},"page":"367-368","source":"Crossref","is-referenced-by-count":8,"title":["EagleUP: Solving Random 3-SAT Using SLS with Unit Propagation"],"prefix":"10.1007","author":[{"given":"Oliver","family":"Gableske","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marijn J. H.","family":"Heule","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"32_CR1","unstructured":"Athanasiou, D., Fernandez, M.A.: Recursive Weight Heuristic for Random k-SAT. Technical report from Delft University (2010), \n                    \n                      http:\/\/www.st.ewi.tudelft.nl\/sat\/reports\/RecursiveWeightHeurKSAT.pdf"},{"key":"32_CR2","unstructured":"Full paper, \n                    \n                      http:\/\/www.uni-ulm.de\/in\/theo\/mitarbeiter\/olivergableske.html"},{"key":"32_CR3","unstructured":"Mijnders, S., De Wilde, B., Heule, M.J.H.: Symbiosis of search and heuristics for random 3-SAT. In: LaSh 2010 (2010)"},{"issue":"1-4","key":"32_CR4","first-page":"91","volume":"43","author":"E.A. Hirsch","year":"2005","unstructured":"Hirsch, E.A., Kojevnikov, A.: UnitWalk: A New SAT Solver that Uses Local Search Guided by Unit Clause Elimination. AMAI\u00a043(1-4), 91\u2013111 (2005)","journal-title":"AMAI"},{"key":"32_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/11499107_12","volume-title":"Theory and Applications of Satisfiability Testing","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":"32_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-540-24605-3_5","volume-title":"Theory and Applications of Satisfiability Testing","author":"X.Y. Li","year":"2004","unstructured":"Li, X.Y., Stallmann, M.F., Brglez, F.: A local search SAT solver using an effective switching strategy and an efficient unit propagation. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol.\u00a02919, pp. 53\u201368. Springer, Heidelberg (2004)"},{"key":"32_CR7","unstructured":"The results of our study, \n                    \n                      http:\/\/edacc.informatik.uni-ulm.de\/EDACC3\/index"},{"key":"32_CR8","unstructured":"The SAT competition homepage, \n                    \n                      http:\/\/www.satcompetition.org"}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Satisfiability Testing - SAT 2011"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21581-0_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,28]],"date-time":"2019-03-28T11:15:16Z","timestamp":1553771716000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21581-0_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642215803","9783642215810"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21581-0_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}