Announcement_6
I am excited to announce that my paper titled “Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization” has been accepted at AAAI’25.
I am excited to announce that my paper titled “Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization” has been accepted at AAAI’25.