A New Proof of Nonsignalling Multiprover Parallel Repetition Theorem.

Himanshu Tyagi Shun Watanabe

Published in: CoRR (2019)

Keyphrases

interactive theorem proving
data sets
knowledge base
theorem prover
massively parallel
database
information systems
case study
shared memory
parallel implementation
parallel programming