Hitomi Sato, Yoshihiro Yasue, Yusuke Matsunaga, Masahiro Fujita. Boolean Resubstitution with Permissible Functions and Binary Decision Diagrams. In DAC. pages 284-289, 1990. [doi]
@inproceedings{SatoYMF90,
title = {Boolean Resubstitution with Permissible Functions and Binary Decision Diagrams},
author = {Hitomi Sato and Yoshihiro Yasue and Yusuke Matsunaga and Masahiro Fujita},
year = {1990},
doi = {10.1145/123186.123276},
url = {http://doi.acm.org/10.1145/123186.123276},
researchr = {https://researchr.org/publication/SatoYMF90},
cites = {0},
citedby = {0},
pages = {284-289},
booktitle = {DAC},
}