Incremental deductive & inductive reasoning for SAT-based bounded model checking.

Liang Zhang, Mukul R. Prasad, Michael S. Hsiao

Browse the full ICCAD paper archive.