Improving Encoding Efficiency for Bounded Model Checking.

Jinji Yang, Kaile Su, Qingliang Chen

Browse the full TASE paper archive.