QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment.

Maria Paola Bonacina, Stphane Graham-Lengrand, Christophe Vauthier

Browse the full CADE paper archive.