Local Proofs Approaching the Witness Length [Extended Abstract].

Noga Ron-Zewi Ron D. Rothblum

Published in: FOCS (2020)

Keyphrases

extended abstract
theorem prover
theorem proving
fixed length
formal proof
database
feature selection
data structure
decision procedures