FERAT: A New Expansion-Based Certification Framework for Quantified Boolean Formulas. - Marcel Simader; Adrian Rebola-Pardo; Martina Seidl (SAC, 2025)