Vishnu C. Vimjam, Michael S. Hsiao: Fast illegal state identification for improving SAT-based induction. DAC 2006: 241-246