Marcel Simader, Adrian Rebola-Pardo, Martina Seidl. FERAT: A New Expansion-Based Certification Framework for Quantified Boolean Formulas. In Jiman Hong, Sebastiano Battiato, Christian Esposito 0001, Juw Won Park, Adam Przybylek, editors, Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, SAC 2025, Catania International Airport, Catania, Italy, 31 March 2025 - 4 April 2025. pages 1043-1050, ACM, 2025. [doi]
Abstract is missing.