Integer Programming & Branch-and-Bound
A lightweight execution-visualization book.
The Relaxation
Integers and the Relaxation
Rounding Is Not Enough
Branching
Branch on a Fraction
The Three Ways to Fathom
The Tree
The Branch-and-Bound Tree
The Bound Proves It
A Second Tree
Solved at Scale
A Bigger Integer Program
Solved with CP-SAT
Cross-Checking the Optimum
Honest Solver Scope