Hitomi Sato, Yoshihiro Yasue, Yusuke Matsunaga, Masahiro Fujita. Boolean Resubstitution with Permissible Functions and Binary Decision Diagrams. In DAC. pages 284-289, 1990. [doi]
No references recorded for this publication.
No citations of this publication recorded.