{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:15:47Z","timestamp":1725624947571},"publisher-location":"Philadelphia, PA","reference-count":0,"publisher":"Society for Industrial and Applied Mathematics","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,1,6]]},"DOI":"10.1137\/1.9781611973105.91","type":"proceedings-article","created":{"date-parts":[[2013,12,19]],"date-time":"2013-12-19T13:32:45Z","timestamp":1387459965000},"page":"1253-1263","source":"Crossref","is-referenced-by-count":3,"title":["Exponential Lower Bounds for the PPSZ k<\/i>-SAT Algorithm"],"prefix":"10.1137","author":[{"given":"Shiteng","family":"Chen","sequence":"first","affiliation":[]},{"given":"Dominik","family":"Scheder","sequence":"additional","affiliation":[]},{"given":"Navid","family":"Talebanfard","sequence":"additional","affiliation":[]},{"given":"Bangsheng","family":"Tang","sequence":"additional","affiliation":[]}],"member":"351","published-online":{"date-parts":[[2013,12,18]]},"event":{"name":"Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms"},"container-title":["Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms"],"original-title":[],"link":[{"URL":"https:\/\/epubs.siam.org\/doi\/pdf\/10.1137\/1.9781611973105.91","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,11]],"date-time":"2019-01-11T12:03:01Z","timestamp":1547208181000},"score":1,"resource":{"primary":{"URL":"https:\/\/epubs.siam.org\/doi\/10.1137\/1.9781611973105.91"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,6]]},"references-count":0,"alternative-id":["10.1137\/1.9781611973105.91","10.1137\/1.9781611973105"],"URL":"https:\/\/doi.org\/10.1137\/1.9781611973105.91","relation":{},"subject":[],"published":{"date-parts":[[2013,1,6]]}}}