A New Proof of Nonsignalling Multiprover Parallel Repetition Theorem.

Himanshu Tyagi Shun Watanabe

Published in: Electron. Colloquium Comput. Complex. (2019)

Keyphrases

interactive theorem proving
parallel hardware
machine learning
parallel processing
shared memory
case study
image segmentation
parallel implementation
massively parallel
distributed memory machines