Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Harshit J. Motwani, Maximilian Seeliger, Dorde Zikelic. Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization. In Toby Walsh, Julie Shah, Zico Kolter, editors, AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA. pages 11158-11166, AAAI Press, 2025. [doi]

This author has not been identified. Look up 'Krishnendu Chatterjee' in GoogleThis author has not been identified. Look up 'Ehsan Kafshdar Goharshady' in GoogleThis author has not been identified. Look up 'Mehrdad Karrabi' in GoogleThis author has not been identified. Look up 'Harshit J. Motwani' in GoogleThis author has not been identified. Look up 'Maximilian Seeliger' in GoogleThis author has not been identified. Look up 'Dorde Zikelic' in Google

runs on WebDSL