Stan Y. Liao, Srinivas Devadas. Solving Covering Problems Using LPR-Based Lower Bounds. In DAC. pages 117-120, 1997. [doi]
@inproceedings{LiaoD97, title = {Solving Covering Problems Using LPR-Based Lower Bounds}, author = {Stan Y. Liao and Srinivas Devadas}, year = {1997}, doi = {10.1145/266021.266046}, url = {http://doi.acm.org/10.1145/266021.266046}, tags = {rule-based}, researchr = {https://researchr.org/publication/LiaoD97}, cites = {0}, citedby = {0}, pages = {117-120}, booktitle = {DAC}, }