Zero-supressed BDDs for set manipulation in combinatorial problems (1993)

by Shin-Ichi Minato
Venue:In Proc. of the 30 th ACM/IEEE Design Automation Conference