Strong (D)QBF Dependency Schemes via Pure Paths with Applications to Proof Checking

Leroy Chew, Tomáš Peitl

Certification for Quantified Boolean Formulas (QBF) and Dependency Quantified Boolean Formulas (DQBF) is an ongoing challenge. Recent proof complexity work has shown that the major…