OBDDs of a Monotone Function and of Its Prime Implicants.

Kazuyoshi Hayase, Hiroshi Imai

Browse the full ISAAC paper archive.