{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:53:17Z","timestamp":1725511997737},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540797180"},{"type":"electronic","value":"9783540797197"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79719-7_25","type":"book-chapter","created":{"date-parts":[[2008,5,6]],"date-time":"2008-05-06T08:04:57Z","timestamp":1210061097000},"page":"271-276","source":"Crossref","is-referenced-by-count":12,"title":["Local Restarts"],"prefix":"10.1007","author":[{"given":"Vadim","family":"Ryvchin","sequence":"first","affiliation":[]},{"given":"Ofer","family":"Strichman","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"A. Biere. PicoSAT essentials. JSAT (2008) (to be published)","DOI":"10.3233\/SAT190039"},{"key":"25_CR2","unstructured":"Een, N., Sorensson, N.: Minisat v2.0 (beta). In: Solvers description, SAT-race (2006), http:\/\/fmv.jku.at\/sat-race-2006\/descriptions\/27-minisat2.pdf"},{"key":"25_CR3","unstructured":"Gomes, C.P., Selman, B., Kautz, H.A.: Boosting combinatorial search through randomization. In: AAAI\/IAAI, pp. 431\u2013437 (1998)"},{"key":"25_CR4","unstructured":"Huang, J.: The effect of restarts on the efficiency of clause learning. In: IJCAI, pp. 2318\u20132323 (2007)"},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Luby, M., Sinclair, A., Zuckerman, D.: Optimal speedup of Las Vegas algorithms. In: ISTCS, pp. 128\u2013133 (1993)","DOI":"10.1109\/ISTCS.1993.253477"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Baptista, L.L., Marques Silva, J.P.: Stochastic systematic search algorithms for satisfiability. In: LICS Workshop on Theory and Applications of Satisfiability Testing, pp. 190\u2013204 (2001)","DOI":"10.1016\/S1571-0653(04)00322-1"},{"key":"25_CR7","unstructured":"Nadel, A., Gordon, M., Palti, A., Hana, Z.: Eureka-2006 SAT solver. In: Solvers description, SAT-race (2006)"},{"key":"25_CR8","unstructured":"Pipatsrisawat, K., Darwiche, A.: Rsat 2.0: SAT solver description. In: SAT competition 2007 (2007)"}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Satisfiability Testing \u2013 SAT 2008"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79719-7_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,18]],"date-time":"2023-05-18T04:27:45Z","timestamp":1684384065000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79719-7_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540797180","9783540797197"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79719-7_25","relation":{},"subject":[]}}