Graph-based algorithms for boolean function manipulation (1986)

by R Bryant
Venue:in Pmc. IEEffACM Int. Workhop on Logic Synthesir, 20W. 131