Implementation and use of SPFDs in optimizing Boolean networks

Subarnarekha Sinha, Robert K. Brayton. Implementation and use of SPFDs in optimizing Boolean networks. In ICCAD. pages 103-110, 1998. [doi]

Abstract

Abstract is missing.