The Set-Covering Problem