This book is the first comprehensive guide to logic-based Benders decomposition (LBBD), a general and versatile method for breaking large, complex optimization problems into components that are small enough for practical solution.  The author introduces logic-based Benders decomposition for optimization, which substantially generalizes the classical Benders method.  It can reduce solution times by orders of magnitude and allows decomposition to be applied to a much wider variety of optimization problems.  On the theoretical side, this book provides a full...