{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T18:57:21Z","timestamp":1781031441018,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T00:00:00Z","timestamp":1780963200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100000288","name":"Royal Society","doi-asserted-by":"publisher","award":["URF\\R1\\211106"],"award-info":[{"award-number":["URF\\R1\\211106"]}],"id":[{"id":"10.13039\/501100000288","id-type":"DOI","asserted-by":"publisher"}]},{"name":"EPSRC","award":["EP\/Z534158\/1"],"award-info":[{"award-number":["EP\/Z534158\/1"]}]},{"name":"Swiss State Secretariat for Education, Research, and Innovation (SERI)","award":["MB22.00026"],"award-info":[{"award-number":["MB22.00026"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,6,9]]},"DOI":"10.1145\/3798129.3800824","type":"proceedings-article","created":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T17:53:56Z","timestamp":1781027636000},"page":"1128-1132","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Monotone Circuit Complexity of Matching"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0458-8767","authenticated-orcid":false,"given":"Bruno","family":"Cavalar","sequence":"first","affiliation":[{"name":"University of Oxford, Oxford, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-5095-7382","authenticated-orcid":false,"given":"Mika","family":"G\u00f6\u00f6s","sequence":"additional","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-8393-812X","authenticated-orcid":false,"given":"Artur","family":"Riazanov","sequence":"additional","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-8461-7123","authenticated-orcid":false,"given":"Anastasia","family":"Sofronova","sequence":"additional","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2809-3467","authenticated-orcid":false,"given":"Dmitry","family":"Sokolov","sequence":"additional","affiliation":[{"name":"EPFL, Lausanne, Switzerland"},{"name":"Universit\u00e9 de Montr\u00e9al, Montr\u00e9al, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,6,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/31846.31852"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1137\/060664537"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1006\/JCSS.1999.1646"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02579196"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.4007\/annals.2021.194.3.5"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/bf01978380"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1017\/cbo9780511804090"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s004930050058"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.disc.2021.112367"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2501.09545"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.11606\/D.45.2020.tde-25112020-162107"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/S00453-022-01000-3"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.CCC.2023.29"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3406325.3451069"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3538391"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3055399.3055425"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(90)90150-v"},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of the 40th Computational Complexity Conference (CCC) (LIPIcs). Schloss Dagstuhl.","author":"de Rezende Susanna","year":"2025","unstructured":"Susanna de Rezende and Marc Vinyals. 2025. Lifting with Colourful Sunflowers. In Proceedings of the 40th Computational Complexity Conference (CCC) (LIPIcs). Schloss Dagstuhl."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539794266766"},{"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.4230\/LIPIcs.ITCS.2019.38"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526633.006"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/335305.335349"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s004930050046"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24508-4"},{"key":"e_1_3_2_1_26_1","volume-title":"Proceedings of Fundamentals of Computation Theory (FCT). Akademie-Verlag","author":"Lov\u00e1sz L\u00e1szl\u00f3","year":"1979","unstructured":"L\u00e1szl\u00f3 Lov\u00e1sz. 1979. On determinants, matchings, and random algorithms. In Proceedings of Fundamentals of Computation Theory (FCT). Akademie-Verlag, Berlin, 565\u2013574."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPICS.ITCS.2022.104"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02579205"},{"key":"e_1_3_2_1_29_1","unstructured":"Elizaveta Okol\u2019nishnikova. 1982. The effect of negations on the complexity of realization of monotone Boolean functions by formulas of bounded depth. Metody Diskretnogo Analiza 74\u201380."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3055399.3055478"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.19086\/da.11887"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/146637.146684"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01157687"},{"key":"e_1_3_2_1_34_1","first-page":"798","article-title":"Lower bounds on the monotone complexity of some Boolean functions","volume":"281","author":"Razborov Alexander","year":"1985","unstructured":"Alexander Razborov. 1985. Lower bounds on the monotone complexity of some Boolean functions. Doklady Akademii Nauk SSSR, 281, 4 (1985), 798\u2013801. issn:0002-3264","journal-title":"Doklady Akademii Nauk SSSR"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1391289.1391291"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1379759.1379763"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1137\/110839059"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ITCS.2017.27"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02122563"},{"key":"e_1_3_2_1_40_1","unstructured":"Thomas Watson. 2025. Complexity in Computer Science. Book draft"},{"key":"e_1_3_2_1_41_1","volume-title":"The complexity of Boolean functions","author":"Wegener Ingo","unstructured":"Ingo Wegener. 1987. The complexity of Boolean functions. Wiley-Teubner."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.2307\/j.ctvckq7xb"}],"event":{"name":"STOC '26: 58th Annual ACM Symposium on Theory of Computing","location":"Salt Lake City UT USA","acronym":"STOC '26","sponsor":["SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 58th Annual ACM Symposium on Theory of Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3798129.3800824","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T18:02:23Z","timestamp":1781028143000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3798129.3800824"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6,9]]},"references-count":42,"alternative-id":["10.1145\/3798129.3800824","10.1145\/3798129"],"URL":"https:\/\/doi.org\/10.1145\/3798129.3800824","relation":{},"subject":[],"published":{"date-parts":[[2026,6,9]]},"assertion":[{"value":"2026-06-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}