Implement cycle-cover-based lower bound