@article{Jiang_2026, title={Compiler Optimization-Based SMT Simplifications: An In-Depth Study}, ISSN={1557-7392}, url={http://dx.doi.org/10.1145/3795879}, DOI={10.1145/3795879}, journal={ACM Transactions on Software Engineering and Methodology}, publisher={Association for Computing Machinery (ACM)}, author={Jiang, Hanyun and Yao, Peisen and Lu, Jiachen and Zhao, Yongwang and Ren, Kui}, year={2026}, month=Feb }