Robust Boolean Reasoning for Equivalence Checking and Functional Property Verification (2002)

Cached

Download Links

by Andreas Kuehlmann , Senior Member , Viresh Paruthi , Florian Krohm , Malay K. Ganai
Venue:IEEE Trans. CAD
Citations:77 - 10 self