Finding Minimal Cost Herbrand Models with Branch-Cut-and-Price | Read Paper on Bytez