Science ❯ Computer Science ❯ Theoretical Computer Science
Randomness in Computation Combinatorial Optimization
An arXiv preprint details an iterative proof system whose claimed results now face community verification.
