Algorithms for Discrete Function Manipulation.

Arvind Srinivasan, Timothy Kam, Sharad Malik, Robert K. Brayton

Browse the full ICCAD paper archive.