Towards uniform certification in QBF

DOI10.4230/LIPICS.STACS.2022.22MaRDI QIDQ6490971FDO

Authors 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)