Efficient Implementation of a (0)

by K S Brace, R L Rudell, R E Bryant
Venue:BDD Package, DAC’90: 27th ACM/IEEE Design Automation Conference