Zero-suppressed BDDs for set manipulation in combinatorial problems (0)

by S Minato
Venue:In: Des Autom Conf