{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,29]],"date-time":"2024-06-29T00:19:45Z","timestamp":1719620385741},"reference-count":49,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"3","funder":[{"DOI":"10.13039\/501100000266","name":"EPSRC","doi-asserted-by":"publisher","award":["EP\/X03190X\/1"],"award-info":[{"award-number":["EP\/X03190X\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003407","name":"MIUR","doi-asserted-by":"publisher","award":["2022BXH4R5"],"award-info":[{"award-number":["2022BXH4R5"]}],"id":[{"id":"10.13039\/501100003407","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Comput."],"published-print":{"date-parts":[[2024,6,30]]},"DOI":"10.1137\/20m134784x","type":"journal-article","created":{"date-parts":[[2024,6,24]],"date-time":"2024-06-24T14:23:13Z","timestamp":1719238993000},"page":"764-802","source":"Crossref","is-referenced-by-count":0,"title":["Proof Complexity and the Binary Encoding of Combinatorial Principles"],"prefix":"10.1137","volume":"53","author":[{"given":"Stefan","family":"Dantchev","sequence":"first","affiliation":[{"name":"Department of Computer Science, Durham University, UK."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicola","family":"Galesi","sequence":"additional","affiliation":[{"name":"Dipartimento di Ingegneria Informatica, Automatica e Gestionale \u201cA. Ruberti\u201d, Sapienza Universit\u00e0 Roma."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdul","family":"Ghani","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Durham University, UK."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barnaby","family":"Martin","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Durham University, UK."}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"351","published-online":{"date-parts":[[2024,6,24]]},"reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s00037-011-0026-0"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539700366735"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(02)00394-8"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2002.3114"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2007.06.025"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2898435"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3409472"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1017\/jsl.2014.56"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/375827.375835"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2010.09.007"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2499937.2499941"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2355580.2355582"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004100058655"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511814068"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2699438"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1137\/15M1023269"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s000370100000"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/0012-365X(73)90167-2"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.01.002"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.04.004"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1137\/120895950"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/1838552.1838556"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(85)90144-6"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1112\/jlms\/s1-10.37.26"},{"key":"ref40","volume-title":"Computational Limitations for Small Depth Circuits","author":"H\u00e5stad J.","year":"1987"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/FOCS.2017.20"},{"key":"ref42","first-page":"184","volume":"27","author":"Itsykson D.","year":"2020","journal-title":"Electron. Colloquium Comput. Complex."},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511529948"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.4064\/fm170-1-8"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/BF00265682"},{"key":"ref47","volume-title":"Fourth Workshop on Constraints in Formal Verification (CFV \u201907)","author":"Kwon G.","year":"2007"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/s00037-017-0152-4"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/s00493-015-3193-9"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1137\/0801013"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.2002.1830"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511813603"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21810-6"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.2000.12005233"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/972639.972640"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.4007\/annals.2015.181.2.1"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46011-X_8"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(02)00453-X"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73001-9_67"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1007\/s00037-001-8194-y"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539703428555"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1137\/0403036"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1007\/s002360050044"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/pdq044"},{"key":"ref68","volume-title":"A Course in Combinatorics","author":"van Lint J. H.","year":"1992"}],"container-title":["SIAM Journal on Computing"],"original-title":[],"language":"en","deposited":{"date-parts":[[2024,6,28]],"date-time":"2024-06-28T17:07:10Z","timestamp":1719594430000},"score":1,"resource":{"primary":{"URL":"https:\/\/epubs.siam.org\/doi\/10.1137\/20M134784X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,24]]},"references-count":49,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2024,6,30]]}},"alternative-id":["10.1137\/20M134784X"],"URL":"https:\/\/doi.org\/10.1137\/20m134784x","relation":{},"ISSN":["0097-5397","1095-7111"],"issn-type":[{"value":"0097-5397","type":"print"},{"value":"1095-7111","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,6,24]]}}}