A Dynamic Subgradient-Based Branch-and-Bound Procedure for Set Covering | Synapse