OBDDs of a Monotone Function and Its Prime Implicants.

Kazuyoshi Hayase Hiroshi Imai

Published in: Theory Comput. Syst. (1998)

Keyphrases

boolean functions
prime implicants
multi valued
uniform distribution
randomly generated
abductive reasoning
model checking
membership queries
knowledge representation
decision rules
machine translation
binary decision diagrams
prime implicates