STACCATO: disjoint support decompositions from BDDs through symbolic kernels.

Stephen Plaza, Valeria Bertacco

Browse the full ASPDAC paper archive.