Fast illegal state identification for improving SAT-based induction.

Vishnu C. Vimjam, Michael S. Hsiao

Browse the full DAC paper archive.