Linking BDD-based symbolic evaluation to interactive theorem-proving (1993)

by J Joyce, C Seger
Venue:In the 30th Design Automation Conference