Solving Covering Problems Using LPR-Based Lower Bounds.

Stan Y. Liao, Srinivas Devadas

Browse the full DAC paper archive.