Improving Bit-Blasting for Nonlinear Integer Constraints.

Fuqi Jia, Rui Han, Pei Huang, Minghao Liu, Feifei Ma, Jian Zhang

Browse the full ISSTA paper archive.