{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T06:21:51Z","timestamp":1776666111797,"version":"3.51.2"},"reference-count":9,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Comput."],"published-print":{"date-parts":[[2014,1]]},"DOI":"10.1137\/120868177","type":"journal-article","created":{"date-parts":[[2014,4,29]],"date-time":"2014-04-29T16:51:46Z","timestamp":1398790306000},"page":"718-729","source":"Crossref","is-referenced-by-count":24,"title":["3-SAT Faster and Simpler---Unique-SAT Bounds for PPSZ Hold in General"],"prefix":"10.1137","volume":"43","author":[{"given":"Timon","family":"Hertli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"351","reference":[{"key":"atypb1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2007.06.015"},{"key":"atypb2","first-page":"237","author":"Hertli T.","year":"2011","journal-title":"Proceedings of STACS"},{"key":"atypb3","first-page":"73","author":"Iwama K.","year":"2010","journal-title":"Berlin"},{"key":"atypb4","first-page":"328","author":"Iwama K.","year":"2004","journal-title":"New York"},{"key":"atypb5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22685-4_1"},{"key":"atypb7","first-page":"245","author":"Moser R. A.","year":"2011","journal-title":"New York"},{"key":"atypb8","doi-asserted-by":"publisher","DOI":"10.1145\/1066100.1066101"},{"key":"atypb9","first-page":"216","volume":"3569","author":"Rolf D.","year":"2005","journal-title":"Sci."},{"key":"atypb10","doi-asserted-by":"crossref","first-page":"111","DOI":"10.3233\/SAT190005","volume":"1","author":"Rolf D.","year":"2006","journal-title":"Boolean Modeling and Computation"}],"container-title":["SIAM Journal on Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/epubs.siam.org\/doi\/pdf\/10.1137\/120868177","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,18]],"date-time":"2020-08-18T15:17:27Z","timestamp":1597763847000},"score":1,"resource":{"primary":{"URL":"http:\/\/epubs.siam.org\/doi\/10.1137\/120868177"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1]]},"references-count":9,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,1]]}},"alternative-id":["10.1137\/120868177"],"URL":"https:\/\/doi.org\/10.1137\/120868177","relation":{},"ISSN":["0097-5397","1095-7111"],"issn-type":[{"value":"0097-5397","type":"print"},{"value":"1095-7111","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,1]]}}}