C.-J. Richard Shi. Solving constrained via minimization by compact linear programming. In Proceedings of the ASP-DAC '97 Asia and South Pacific Design Automation Conference, Nippon Convention Center, Chiba, Japan, January 28-31, 1997. pages 635-640, IEEE, 1997. [doi]
Abstract is missing.