{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,4]],"date-time":"2026-07-04T13:08:45Z","timestamp":1783170525577,"version":"3.54.6"},"reference-count":36,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"2","funder":[{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Comput."],"published-print":{"date-parts":[[2020,1]]},"DOI":"10.1137\/18m1167176","type":"journal-article","created":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T16:33:41Z","timestamp":1586277221000},"page":"394-428","source":"Crossref","is-referenced-by-count":10,"title":["An Algorithmic Proof of the Lov\u00e1sz Local Lemma via Resampling Oracles"],"prefix":"10.1137","volume":"49","author":[{"given":"Nicholas J. A.","family":"Harvey","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jan","family":"Vondr\u00e1k","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"351","published-online":{"date-parts":[[2020,4,7]]},"reference":[{"key":"atypb3","doi-asserted-by":"publisher","DOI":"10.1145\/2818352"},{"key":"atypb4","doi-asserted-by":"publisher","DOI":"10.1002\/jgt.20204"},{"key":"atypb5","doi-asserted-by":"publisher","DOI":"10.1016\/j.dam.2018.03.066"},{"key":"atypb6","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejc.2017.03.005"},{"key":"atypb7","doi-asserted-by":"publisher","DOI":"10.1017\/S0963548311000253"},{"key":"atypb8","doi-asserted-by":"publisher","DOI":"10.1002\/rsa.20383"},{"key":"atypb9","first-page":"442","author":"Broder A.","year":"1989","journal-title":"IEEE"},{"key":"atypb10","doi-asserted-by":"publisher","DOI":"10.1006\/jctb.1996.0071"},{"key":"atypb11","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejc.2016.04.003"},{"key":"atypb12","doi-asserted-by":"publisher","DOI":"10.1137\/100799642"},{"key":"atypb13","doi-asserted-by":"publisher","DOI":"10.1007\/s00446-016-0287-6"},{"key":"atypb14","doi-asserted-by":"publisher","DOI":"10.1007\/s00493-015-3070-6"},{"key":"atypb15","first-page":"609","author":"Erd\u00f6s P.","year":"1975","journal-title":"North-Holland"},{"key":"atypb16","doi-asserted-by":"publisher","DOI":"10.1016\/0166-218X(91)90040-4"},{"key":"atypb17","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejc.2013.02.007"},{"key":"atypb18","doi-asserted-by":"publisher","DOI":"10.1007\/s00220-007-0279-2"},{"key":"atypb20","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2016.12.011"},{"key":"atypb22","doi-asserted-by":"publisher","DOI":"10.1145\/2049697.2049702"},{"key":"atypb24","first-page":"907","author":"Harris D. G.","year":"2014","journal-title":"OR"},{"key":"atypb25","first-page":"1327","author":"Harvey N. J. A.","year":"2015","journal-title":"IEEE Computer Soc."},{"key":"atypb27","doi-asserted-by":"publisher","DOI":"10.1002\/jgt.22160"},{"key":"atypb29","first-page":"235","author":"Kolipaka K.","year":"2011","journal-title":"ACM"},{"key":"atypb30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32512-0_51"},{"key":"atypb32","first-page":"243","volume":"25","author":"Lu L.","year":"2013","journal-title":"Springer Proc. Math. Stat."},{"key":"atypb35","first-page":"343","author":"Moser R. A.","year":"2009","journal-title":"ACM"},{"key":"atypb36","doi-asserted-by":"publisher","DOI":"10.1145\/1667053.1667060"},{"key":"atypb37","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejc.2011.12.002"},{"key":"atypb38","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(05)80063-7"},{"key":"atypb39","doi-asserted-by":"publisher","DOI":"10.1137\/110828290"},{"key":"atypb40","doi-asserted-by":"publisher","DOI":"10.1017\/S096354831300028X"},{"key":"atypb41","doi-asserted-by":"publisher","DOI":"10.1016\/j.jctb.2018.03.005"},{"key":"atypb42","doi-asserted-by":"publisher","DOI":"10.1002\/jgt.21781"},{"key":"atypb43","doi-asserted-by":"publisher","DOI":"10.1007\/s00373-015-1642-2"},{"key":"atypb45","doi-asserted-by":"publisher","DOI":"10.1007\/s10955-004-2055-4"},{"key":"atypb46","doi-asserted-by":"publisher","DOI":"10.1007\/BF02579368"},{"key":"atypb47","doi-asserted-by":"publisher","DOI":"10.1016\/0012-365X(77)90044-9"}],"container-title":["SIAM Journal on Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/epubs.siam.org\/doi\/pdf\/10.1137\/18M1167176","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,30]],"date-time":"2020-04-30T17:09:33Z","timestamp":1588266573000},"score":1,"resource":{"primary":{"URL":"https:\/\/epubs.siam.org\/doi\/10.1137\/18M1167176"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,1]]},"references-count":36,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2020,1]]}},"alternative-id":["10.1137\/18M1167176"],"URL":"https:\/\/doi.org\/10.1137\/18m1167176","relation":{},"ISSN":["0097-5397","1095-7111"],"issn-type":[{"value":"0097-5397","type":"print"},{"value":"1095-7111","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,1]]}}}