OBDDs of a Monotone Function and of Its Prime Implicants.

Kazuyoshi Hayase Hiroshi Imai

Published in: ISAAC (1996)

Keyphrases

boolean functions
prime implicants
uniform distribution
multi valued
randomly generated
prime implicates
membership queries
upper bound