Efficient computation of small abstraction refinements.

Bing Li, Fabio Somenzi

Browse the full ICCAD paper archive.