Robin Moser in his PhD thesis found a constructive proof for the Lovasz Local Lemma, a problem that was essentially open for decades. This earned him a Godel Prize.
Aspect Stalence
- 101
- 4