Login / Signup

STACCATO: disjoint support decompositions from BDDs through symbolic kernels.

Stephen PlazaValeria Bertacco
Published in: ASP-DAC (2005)
Keyphrases