Boolean resubstitution with permissible functions and binary decision diagrams

Hitomi Sato, Yoshihiro Yasue, Yusuke Matsunaga, Masahiro Fujita

Research output: Chapter in Book/Report/Conference proceedingConference contribution

17 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Boolean resubstitution with permissible functions and binary decision diagrams'. Together they form a unique fingerprint.

Computer Science