On the power of multi-prover interactive
โ
Lance Fortnow; John Rompel; Michael Sipser
๐
Article
๐
1994
๐
Elsevier Science
๐
English
โ 920 KB