Sign in
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