Solving covering problems using LPR-based lower bounds | IEEE Journals & Magazine | IEEE Xplore