Cited By
View all- Beyersdorff OBlinkhorn JMahajan MPeitl T(2022)Hardness Characterisations and Size-width Lower Bounds for QBF ResolutionACM Transactions on Computational Logic10.1145/356528624:2(1-30)Online publication date: 28-Sep-2022
- Beyersdorff OBlinkhorn JMahajan M(2021)Building Strategies into QBF ProofsJournal of Automated Reasoning10.1007/s10817-020-09560-165:1(125-154)Online publication date: 1-Jan-2021
- Bloem RBraud-Santoni NHadzic VEgly ULonsing FSeidl M(2021)Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternationsFormal Methods in System Design10.1007/s10703-021-00371-757:2(157-177)Online publication date: 1-Aug-2021
- Show More Cited By