DOI,IST REx ID,Research Group,Title of publication
10.1609/aaai.v39i11.33213,19667,KrCh,Quantified linear and polynomial arithmetic satisfiability via template-based skolemization