Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers
Year of publication
2024
Authors
Hakoniemi, Tuomas; Limaye, Nutan; Tzameret, Iddo
Organizations and authors
University of Helsinki
Hakoniemi Tuomas
Publication type
Publication format
Article
Parent publication type
Conference
Article type
Other article
Audience
ScientificPeer-reviewed
Peer-ReviewedMINEDU's publication type classification code
A4 Article in conference proceedingsPublication channel information
Parent publication name
Proceedings of the 56th Annual ACM Symposium on Theory of Computing
Conference
Publisher
Pages
1396–1404
ISBN
Publication forum
Publication forum level
1
Open access
Open access in the publisher’s service
Yes
Open access of publication channel
Fully open publication channel
License of the publisher’s version
CC BY
Self-archived
Yes
License of the self-archived publication
CC BY
Other information
Fields of science
Computer and information sciences
Publication country
United States
Internationality of the publisher
International
Language
English
International co-publication
Yes
Co-publication with a company
No
DOI
10.1145/3618260.3649616
The publication is included in the Ministry of Education and Culture’s Publication data collection
Yes