Using Contrapositive Law in an Implication Graph to Identify Logic Redundancies.

Kunal K. Dave, Vishwani D. Agrawal, Michael L. Bushnell

Browse the full VLSID paper archive.