Boolean Resubstitution with Permissible Functions and Binary Decision Diagrams

Hitomi Sato, Yoshihiro Yasue, Yusuke Matsunaga, Masahiro Fujita. Boolean Resubstitution with Permissible Functions and Binary Decision Diagrams. In DAC. pages 284-289, 1990. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: