Chatterjee, K. (2025) “Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization”, Proceedings of the AAAI Conference on Artificial Intelligence, 39(11), pp. 11158–11166. doi: 10.1609/aaai.v39i11.33213.