Multi-level logic optimization by implication analysis.

Wolfgang Kunz, Prem R. Menon

Browse the full ICCAD paper archive.