2025
Proof Simulation via Round-based Strategy Extraction for QBF
AAAI 2025technical
Proof systems can be used for certification of logic problems, and proof complexity can inform us how succinct certificates can be. In the PSPACE complete logic QBF (Quantified Boolean Formulas) refutation proofs often contain information that reproduce the witnesses of the quantified variables.…