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

Leroy Chew, Toms Peitl

Browse the full SAT paper archive.