Improved SAT Based Bounded Model Checking.

Conghua Zhou, Decheng Ding

Browse the full TAMC paper archive.