Combinatorial PCPs with Short Proofs.

Published in: Comput. Complex. (2016)

Keyphrases

theorem prover
formal proof
artificial intelligence
theorem proving
real time
case study
video sequences
cooperative
multi agent systems
computer science
inference rules
formal proofs