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

Open Webpage

Marcel Simader, Adrian Rebola-Pardo, Martina Seidl

Published: 01 Jan 2025, Last Modified: 25 Jul 2025SAC 2025EveryoneRevisionsBibTeXCC BY-SA 4.0