On the Existence of Algebraically Natural Proofs

Prerona Chatterjee, Mrinal Kumar 0001, C. Ramya, Ramprasad Saptharishi, Anamay Tengse. On the Existence of Algebraically Natural Proofs. Electronic Colloquium on Computational Complexity (ECCC), 27:63, 2020. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: