Boolean Resubstitution with Permissible Functions and Binary Decision Diagrams.

Hitomi Sato, Yoshihiro Yasue, Yusuke Matsunaga, Masahiro Fujita

Browse the full DAC paper archive.