MIT
Las Vegas Algorithms
Finding Good Certificates
