@inproceedings{MBA-Solver,
 author = {Dongpeng Xu and Binbin Liu and Weijie Feng and Jiang Ming and Qilong Zheng and Jing Li and Qiaoyan Yu},
 booktitle = {Proceedings of the 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '21)},
 title = {Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions},
 year = {2021}
}