Login / Signup
Local Proofs Approaching the Witness Length.
Noga Ron-Zewi
Ron Rothblum
Published in:
Electron. Colloquium Comput. Complex. (2019)
Keyphrases
</>
theorem prover
data sets
databases
data mining
theorem proving
formal proofs
social networks
multi agent systems
special case
cut elimination
mathematical proofs