Skip to content

Simple Hard Instances for Low-Depth Algebraic Proofs.

Nashlen Govindasamy, Tuomas Hakoniemi, Iddo Tzameret

VenueA*FOCS
Year2022
ProceedingsFOCS

Browse the full FOCS paper archive.