The complexity of the inclusion operation on OFDD s

Rolf Drechsler, Martin Sauerhoff, Detlef Sieling. The complexity of the inclusion operation on OFDD s. IEEE Trans. on CAD of Integrated Circuits and Systems, 17(5):457-459, 1998. [doi]

Abstract

Abstract is missing.