Chatterjee, Krishnendu, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Harshit J Motwani, Maximilian Seeliger, and Đorđe Žikelić. 2025. “Quantified Linear and Polynomial Arithmetic Satisfiability via Template-Based Skolemization”. Proceedings of the AAAI Conference on Artificial Intelligence 39 (11):11158-66. https://doi.org/10.1609/aaai.v39i11.33213.