Seeliger, Maximilian

1 publications

AAAI 2025 Quantified Linear and Polynomial Arithmetic Satisfiability via Template-Based Skolemization Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Harshit J. Motwani, Maximilian Seeliger, Dorde Zikelic