The Delicate Art of Brute Force : How to Compute It When You Can't Solve It - Paul J. Nahin (2026)