Xu, Dongpeng, Liu, Binbin, Feng, Weijie, Ming, Jiang, Zheng, Qilong, Li, Jing, and Yu, Qiaoyan. Boosting SMT solver performance on mixed-bitwise-arithmetic expressions. Retrieved from https://par.nsf.gov/biblio/10318181. PLDI 2021: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation . Web. doi:10.1145/3453483.3454068.

Xu, Dongpeng, Liu, Binbin, Feng, Weijie, Ming, Jiang, Zheng, Qilong, Li, Jing, & Yu, Qiaoyan. Boosting SMT solver performance on mixed-bitwise-arithmetic expressions. PLDI 2021: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, (). Retrieved from https://par.nsf.gov/biblio/10318181. https://doi.org/10.1145/3453483.3454068

Xu, Dongpeng, Liu, Binbin, Feng, Weijie, Ming, Jiang, Zheng, Qilong, Li, Jing, and Yu, Qiaoyan. "Boosting SMT solver performance on mixed-bitwise-arithmetic expressions". PLDI 2021: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (). Country unknown/Code not available. https://doi.org/10.1145/3453483.3454068. https://par.nsf.gov/biblio/10318181.

@article{osti_10318181,
place = {Country unknown/Code not available}, title = {Boosting SMT solver performance on mixed-bitwise-arithmetic expressions}, url = {https://par.nsf.gov/biblio/10318181}, DOI = {10.1145/3453483.3454068}, abstractNote = {}, journal = {PLDI 2021: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation}, author = {Xu, Dongpeng and Liu, Binbin and Feng, Weijie and Ming, Jiang and Zheng, Qilong and Li, Jing and Yu, Qiaoyan}, }