Skip to content

On small-depth Frege proofs for PHP.

Johan Hstad

VenueA*FOCS
Year2023
ProceedingsFOCS

Browse the full FOCS paper archive.