Implementation and use of SPFDs in optimizing Boolean networks.

Subarnarekha Sinha, Robert K. Brayton

Browse the full ICCAD paper archive.