Towards uniform certification in QBF

DOI10.4230/LIPICS.STACS.2022.22MaRDI QIDQ6490971FDOQ6490971

Leroy Chew, Friedrich Slivovsky

Publication date: 23 April 2024

zbMATH Keywords

verificationQBFFregeproof complexitystrategy extractionextended frege

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: Towards uniform certification in QBF

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6490971)