This book provides a handy, unified introduction to the theory of compact extended formulations of exponential-size integer linear programming (ILP) models.