A New Proof of Nonsignalling Multiprover Parallel Repetition Theorem.

Himanshu Tyagi Shun Watanabe

Published in: ISIT (2019)

Keyphrases

interactive theorem proving
data sets
theorem proving
genetic algorithm
multi agent
parallel processing
parallel implementation
shared memory
linear logic
digital topology