EasyChair Smart Slide
QSMA: a New Algorithm for Quantified Satisfiability Modulo Theory and Assignment
QSMA: a New Algorithm for Quantified Satisfiability Modulo Theory and Assignment