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]
Abstract is missing.