Set Covering: Choose the Cheapest Sites
A lightweight execution-visualization book.
Coverage Model
Demand Points
Site Rows
Chosen Cover
Build a Cover
Coverage Certificate
Cost Certificate
Alternatives and Scope
Compare Alternatives
Honest Set-Covering Scope
Solved at Scale
A Bigger Covering Problem
Solved with CP-SAT
Cross-Checking the Optimum
Honest Solver Scope