FERAT: A New Expansion-Based Certification Framework for Quantified Boolean Formulas.

Marcel Simader, Adrian Rebola-Pardo, Martina Seidl

Browse the full SAC paper archive.