Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization.

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Harshit J. Motwani, Maximilian Seeliger, Dorde Zikelic

Browse the full AAAI paper archive.