STACCATO: disjoint support decompositions from BDDs through symbolic kernels

@inproceedings{Plaza2005STACCATODS,
  title={STACCATO: disjoint support decompositions from BDDs through symbolic kernels},
  author={Stephen M. Plaza and Valeria Bertacco},
  booktitle={ASP-DAC},
  year={2005}
}