Dynamic search-space pruning techniques in path sensitization (1994)

by J P Marques-Silva, K A Sakallah
Venue:In Design Automation Conference