Login / Signup

Shared Binary Decision Diagram with Attributed Edges for Efficient Boolean function Manipulation.

Shin-ichi MinatoNagisa IshiuraShuzo Yajima
Published in: DAC (1990)
Keyphrases
  • binary decision diagrams
  • boolean functions
  • uniform distribution
  • decision trees
  • data mining
  • membership queries