Redundancy Identification and Removal Based on Implicit State Enumeration.

Hyunwoo Cho, Gary D. Hachtel, Fabio Somenzi

Browse the full ICCD paper archive.