{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,23]],"date-time":"2025-10-23T01:11:10Z","timestamp":1761181870767,"version":"build-2065373602"},"reference-count":14,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"5","funder":[{"DOI":"10.13039\/501100001711","name":"Swiss National Science Foundation","doi-asserted-by":"crossref","award":["200021-184656"],"award-info":[{"award-number":["200021-184656"]}],"id":[{"id":"10.13039\/501100001711","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100004063","name":"Knut och Alice Wallenbergs Stiftelse","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004063","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Comput."],"published-print":{"date-parts":[[2025,10,31]]},"DOI":"10.1137\/22m153851x","type":"journal-article","created":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T07:41:48Z","timestamp":1760600508000},"page":"FOCS22-288-FOCS22-339","source":"Crossref","is-referenced-by-count":0,"title":["On Bounded Depth Proofs for Tseitin Formulas on the Grid; Revisited"],"prefix":"10.1137","volume":"54","author":[{"given":"Johan","family":"H\u00e5stad","sequence":"first","affiliation":[{"name":"KTH Royal Institute of Technology, Stockholm, Sweden."}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6913-3341","authenticated-orcid":true,"given":"Kilian","family":"Risse","sequence":"additional","affiliation":[{"name":"Lund University, LTH, Lund, Sweden."}]}],"member":"351","published-online":{"date-parts":[[2025,10,16]]},"reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01302964"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s00037-002-0172-5"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.2307\/2273702"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/BF01744431"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(85)90144-6"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1137\/120897432"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3425606"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1002\/rsa.3240070103"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/BF01200117"},{"key":"ref15","first-page":"149","volume-title":"Problems of Cybernetics. Complexity Theory and Applied Mathematical Logic","author":"Razborov A.","year":"1988"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-2566-9_12"},{"volume-title":"Studies in Constructive Mathematics and Mathematical Logic, Part II","year":"1968","author":"Tseitin G. S.","key":"ref20"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1040046140"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1985.49"}],"container-title":["SIAM Journal on Computing"],"original-title":[],"language":"en","deposited":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T17:29:06Z","timestamp":1761154146000},"score":1,"resource":{"primary":{"URL":"https:\/\/epubs.siam.org\/doi\/10.1137\/22M153851X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,16]]},"references-count":14,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2025,10,31]]}},"alternative-id":["10.1137\/22M153851X"],"URL":"https:\/\/doi.org\/10.1137\/22m153851x","relation":{},"ISSN":["0097-5397","1095-7111"],"issn-type":[{"type":"print","value":"0097-5397"},{"type":"electronic","value":"1095-7111"}],"subject":[],"published":{"date-parts":[[2025,10,16]]}}}