Zero-suppressed BDDs for set manipulation in combinational problems (1993)

by S Minato
Venue:Design Automation Conference