DMCA
Incrementally Improving SAT-based Bounded Model Checking
by
Liang Zhang
,
Mukul R Prasad
,
Michael S Hsiao