Yung-Te Lai, Massoud Pedram, Sarma B. K. Vrudhula. FGILP: an integer linear program solver based on function graphs. In Michael R. Lightner, Jochen A. G. Jess, editors, Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993. pages 685-689, IEEE Computer Society, 1993. [doi]
Abstract is missing.