On Relationship Between ITE and BDD.

William K. C. Lam Robert K. Brayton

Published in: ICCD (1992)

Keyphrases

binary decision diagrams
boolean functions
data sets
knowledge base
machine learning
information retrieval
artificial intelligence
multi objective
object oriented
np complete