Dominik Stoffel, Wolfgang Kunz, Stefan Gerber. AND/OR reasoning graphs for determining prime implicants in multi-level combinational networks. In Proceedings of the ASP-DAC '97 Asia and South Pacific Design Automation Conference, Nippon Convention Center, Chiba, Japan, January 28-31, 1997. pages 529-538, IEEE, 1997. [doi]
@inproceedings{StoffelKG97,
title = {AND/OR reasoning graphs for determining prime implicants in multi-level combinational networks},
author = {Dominik Stoffel and Wolfgang Kunz and Stefan Gerber},
year = {1997},
doi = {10.1109/ASPDAC.1997.600326},
url = {http://dx.doi.org/10.1109/ASPDAC.1997.600326},
researchr = {https://researchr.org/publication/StoffelKG97},
cites = {0},
citedby = {0},
pages = {529-538},
booktitle = {Proceedings of the ASP-DAC '97 Asia and South Pacific Design Automation Conference, Nippon Convention Center, Chiba, Japan, January 28-31, 1997},
publisher = {IEEE},
isbn = {0-7803-3663-1},
}