Linear sifting of decision diagrams and its application insynthesis

Christoph Meinel, Fabio Somenzi, Thorsten Theobald. Linear sifting of decision diagrams and its application insynthesis. IEEE Trans. on CAD of Integrated Circuits and Systems, 19(5):521-533, 2000. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: