MIT
Enumerating Cuts
The probabilistic method,
backwards
