The European entrepreneurial satisfiability problem
Tom Leighton is a very special person. He’s a Professor of Applied Mathematics at MIT as well as the founder of Akamai, a company that revolutionized multimedia content delivery in the late 90s and helped create the unified video-voice-image internet experience that we today enjoy. The Boolean satisfiability problem (affectionately known as SAT) is one […]