Recursive learning: a new implication technique for efficient solutions to CAD problems-test, verification, and optimization (1994)

by W Kunz, D K Pradhan
Venue:IEEE TCAD