AND/OR reasoning graphs for determining prime implicants in multi-level combinational networks.

Dominik Stoffel, Wolfgang Kunz, Stefan Gerber

Browse the full ASPDAC paper archive.