Chatterjee, Krishnendu, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Harshit J Motwani, Maximilian Seeliger, and Đorđe Žikelić. “Quantified Linear and Polynomial Arithmetic Satisfiability via Template-Based Skolemization”. Proceedings of the AAAI Conference on Artificial Intelligence 39, no. 11 (April 11, 2025): 11158–11166. Accessed May 25, 2026. https://ojs.aaai.org/index.php/AAAI/article/view/33213.