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]

Abstract

Abstract is missing.