Richard Karp - Counting Solutions with Random Sampling (via searchlore.ai)