{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,23]],"date-time":"2025-06-23T16:10:04Z","timestamp":1750695004686,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","funder":[{"name":"Swiss state secretariat for education, research and innovation (SERI)","award":["MB22.00026"],"award-info":[{"award-number":["MB22.00026"]}]},{"name":"Swiss Nanional science foundation","award":["200021-184656"],"award-info":[{"award-number":["200021-184656"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,15]]},"DOI":"10.1145\/3717823.3718229","type":"proceedings-article","created":{"date-parts":[[2025,6,15]],"date-time":"2025-06-15T22:21:27Z","timestamp":1750026087000},"page":"1359-1370","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Supercritical Tradeoffs for Monotone Circuits"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-5095-7382","authenticated-orcid":false,"given":"Mika","family":"G\u00f6\u00f6s","sequence":"first","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-4408-3330","authenticated-orcid":false,"given":"Gilbert","family":"Maystre","sequence":"additional","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6913-3341","authenticated-orcid":false,"given":"Kilian","family":"Risse","sequence":"additional","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2809-3467","authenticated-orcid":false,"given":"Dmitry","family":"Sokolov","sequence":"additional","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,6,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ICALP.2016.24"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2007.06.025"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1137\/130914085"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2488608.2488711"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/375827.375835"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOCS.2012.48"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","unstructured":"Christoph Berkholz Moritz Lichter and Harry Vinall-Smeeth. 2024. Supercritical Size-Width Tree-Like Resolution Trade-Offs for Graph Isomorphism. arXiv. https:\/\/doi.org\/10.48550\/ARXIV.2407.17947 10.48550\/ARXIV.2407.17947","DOI":"10.48550\/ARXIV.2407.17947"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1137\/16M1109072"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3195257"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCC.2006.26"},{"key":"e_1_3_2_1_11_1","unstructured":"Sam Buss and Neil Thapen. 2024. A Simple Supercritical Tradeoff between Size and Height in Resolution. Electronic Colloquium on Computational Complexity (ECCC). https:\/\/eccc.weizmann.ac.il\/report\/2024\/001"},{"key":"e_1_3_2_1_12_1","unstructured":"Arkadev Chattopadhyay and Pavel Dvo\u0159\u00e1k. 2024. Super-critical Trade-offs in Resolution Over Parities via Lifting. Electronic Colloquium on Computational Complexity (ECCC). https:\/\/eccc.weizmann.ac.il\/report\/2024\/132\/"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Susanna de Rezende Noah Fleming Duri Janett Jakob Nordstr\u00f6m and Shuo Pang. 2024. Truly Supercritical Trade-offs for Resolution Cutting Planes Monotone Circuits and Weisfeiler\u2013Leman. https:\/\/eccc.weizmann.ac.il\/report\/2024\/185\/","DOI":"10.1145\/3717823.3718271"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOCS46700.2020.00011"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOCS.2016.40"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2020.05.007"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.CCC.2021.6"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPICS.ITCS.2022.70"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/276698.276855"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.4086\/toc.2020.v016a013"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1137\/22M1498346"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3663758"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3618260.3649711"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1137\/16M1082007"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS56636.2023.10175741"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOCS57990.2023.00052"},{"key":"e_1_3_2_1_27_1","unstructured":"Alexandros Hollender Gilbert Maystre and Kilian Risse. 2024. Unpublished manuscript."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.CCC.2024.13"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOCS.2017.20"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24508-4"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/62212.62265"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/800057.808717"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPICS.ITCS.2022.104"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2023.04.006"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.2307\/2589349"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/s004930050062"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02122698"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2858790"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00037-017-0163-1"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1287\/moor.2016.0840"},{"key":"e_1_3_2_1_41_1","volume-title":"Unified Lower Bounds for Monotone Computation. Ph. D. Dissertation","author":"Robere Robert","year":"1807","unstructured":"Robert Robere. 2018. Unified Lower Bounds for Monotone Computation. Ph. D. Dissertation. University of Toronto, Canada. http:\/\/hdl.handle.net\/1807\/92007"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.CCC.2015.392"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3618260.3649628"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539703428555"}],"event":{"name":"STOC '25: 57th Annual ACM Symposium on Theory of Computing","sponsor":["SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"Prague Czechia","acronym":"STOC '25"},"container-title":["Proceedings of the 57th Annual ACM Symposium on Theory of Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3717823.3718229","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,23]],"date-time":"2025-06-23T15:44:59Z","timestamp":1750693499000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3717823.3718229"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,15]]},"references-count":44,"alternative-id":["10.1145\/3717823.3718229","10.1145\/3717823"],"URL":"https:\/\/doi.org\/10.1145\/3717823.3718229","relation":{},"subject":[],"published":{"date-parts":[[2025,6,15]]},"assertion":[{"value":"2025-06-15","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}