Work

Reverse Mathematics of Complexity Lower Bounds

Year: 2024

Type: conference-paper

Source: Annual Symposium on Foundations of Computer Science

DOI: 10.1109/focs61266.2024.00040

Authors: Lijie Chen, Jiatu Li, Igor C. Oliveira

Institutions: Berkeley College, University of California, Berkeley, Massachusetts Institute of Technology, University of Warwick

Language: English

Topic: Computability, Logic, AI Algorithms

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: National Science Foundation, University of Warwick

Award: AF: Small: Lower Bounds in Complexity Theory Via Algorithms

OpenAlex ID: W4404849689

FWCI: 2.627

Cites: 51

Cited by: 4

Related to: 10