Login / Signup
Combinatorial PCPs with Short Proofs.
Or Meir
Published in:
Electron. Colloquium Comput. Complex. (2013)
Keyphrases
</>
machine learning
theorem prover
theorem proving
information retrieval
cooperative
first order logic
formal proof