Introduction

This introductory chapter explains how logical inference is embedded in classical Benders decomposition, and how recognizing this fact opens the door to the substantial generalization represented by logic-based Benders decomposition (LBBD). It chronicles some early developments in LBBD, and it provides a motivating example that illustrates the basic ideas that underlie LBBD. It concludes with a brief overview of the rest of the book.