Chatterjee, K., Goharshady, E. K., Karrabi, M., Motwani, H. J., Seeliger, M., & Žikelić, Đorđe. (2025). Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization. Proceedings of the AAAI Conference on Artificial Intelligence, 39(11), 11158–11166. https://doi.org/10.1609/aaai.v39i11.33213