FGILP: an integer linear program solver based on function graphs.

Yung-Te Lai, Massoud Pedram, Sarma B. K. Vrudhula

Browse the full ICCAD paper archive.