1. Adding Decision Procedures to SMT Solvers Using Axioms with Triggers

   • Claire Dross
   • Sylvain Conchon
   • Andrei Paskevich

   OriginalPaper 17 November 2015 Pages: 387 - 457

   

2. Quantifier Reordering for QBF

   • Friedrich Slivovsky
   • Stefan Szeider

   OriginalPaper 12 November 2015 Pages: 459 - 477