Written by international experts in the field of integer programming, this text and reference presents the mathematical foundations, theory, and algorithms of discrete optimization methods, incorporating many techniques as well as numerous examples and model formulations. Throughout, the notation used is clear and consistent and the level of mathematics never becomes excessive: difficult theorems are approached via a series of propositions, and proofs accurately reference the earlier results at each stage.