OBDDs of a Monotone Function and Its Prime Implicants

Kazuyoshi Hayase, Hiroshi Imai. OBDDs of a Monotone Function and Its Prime Implicants. Theory Comput. Syst., 31(5):570-591, 1998. [doi]

Abstract

Abstract is missing.