{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,1]],"date-time":"2025-08-01T08:40:03Z","timestamp":1754037603312,"version":"3.41.2"},"reference-count":22,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"4","funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["949707"],"award-info":[{"award-number":["949707"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["101002742"],"award-info":[{"award-number":["101002742"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012190","name":"Ministry of Science and Higher Education of the Russian Federation","doi-asserted-by":"crossref","award":["075-15-2019-1620","075-15-2022-289"],"award-info":[{"award-number":["075-15-2019-1620","075-15-2022-289"]}],"id":[{"id":"10.13039\/501100012190","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Comput."],"published-print":{"date-parts":[[2025,8,31]]},"DOI":"10.1137\/24m1696640","type":"journal-article","created":{"date-parts":[[2025,8,1]],"date-time":"2025-08-01T08:00:22Z","timestamp":1754035222000},"page":"887-915","source":"Crossref","is-referenced-by-count":0,"title":["Lower Bounds for Regular Resolution over Parities"],"prefix":"10.1137","volume":"54","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3280-3927","authenticated-orcid":true,"given":"Klim","family":"Efremenko","sequence":"first","affiliation":[{"name":"Department of Computer Science, Ben-Gurion University of the Negev, Beer Sheva, Israel."}]},{"given":"Michal","family":"Garl\u00edk","sequence":"additional","affiliation":[{"name":"Department of Computing, Imperial College London, London, UK."}]},{"given":"Dmitry","family":"Itsykson","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Ben-Gurion University of the Negev, Beer Sheva, Israel. On leave from Steklov Institute of Mathematics at St.\u00a0Petersburg, St.\u00a0Petersburg, Russia."}]}],"member":"351","published-online":{"date-parts":[[2025,8,1]]},"reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(83)90038-6"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01302964"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539701389944"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-005-9006-x"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1410"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1137\/060654645"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.2307\/2273702"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/368273.368557"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/321033.321034"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3243126"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1137\/16M1082007"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44465-8_32"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2019.102722"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3506702"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.4064\/fm170-1-8"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1142\/S0219061318500125"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2018.04.014"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/s00037-020-00202-x"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2008.04.001"},{"key":"ref39","first-page":"598","volume":"41","author":"Razborov A. A.","year":"1987","journal-title":"Mat. Zametki"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/7531.8928"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/0095-8956(71)90069-4"}],"container-title":["SIAM Journal on Computing"],"original-title":[],"language":"en","deposited":{"date-parts":[[2025,8,1]],"date-time":"2025-08-01T08:00:23Z","timestamp":1754035223000},"score":1,"resource":{"primary":{"URL":"https:\/\/epubs.siam.org\/doi\/10.1137\/24M1696640"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,1]]},"references-count":22,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,8,31]]}},"alternative-id":["10.1137\/24M1696640"],"URL":"https:\/\/doi.org\/10.1137\/24m1696640","relation":{},"ISSN":["0097-5397","1095-7111"],"issn-type":[{"value":"0097-5397","type":"print"},{"value":"1095-7111","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,8,1]]}}}