Boosting SMT solver performance on mixed-bitwise-arithmetic expressions.

Dongpeng Xu, Binbin Liu, Weijie Feng, Jiang Ming, Qilong Zheng, Jing Li, Qiaoyan Yu

Browse the full PLDI paper archive.