Adding Decision Procedures to SMT Solvers Using Axioms with Triggers Claire DrossSylvain ConchonAndrei Paskevich OriginalPaper 17 November 2015 Pages: 387 - 457
Quantifier Reordering for QBF Friedrich SlivovskyStefan Szeider OriginalPaper 12 November 2015 Pages: 459 - 477