Cited By
View all- Beyersdorff OBlinkhorn JMahajan MPeitl T(2023)Hardness Characterisations and Size-width Lower Bounds for QBF ResolutionACM Transactions on Computational Logic10.1145/356528624:2(1-30)Online publication date: 27-Jan-2023
- Beyersdorff OBlinkhorn JMahajan MHermanns HZhang LKobayashi NMiller D(2020)Hardness Characterisations and Size-Width Lower Bounds for QBF ResolutionProceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science10.1145/3373718.3394793(209-223)Online publication date: 8-Jul-2020
- Peitl TSlivovsky FSzeider S(2019)Dependency learning for QBFJournal of Artificial Intelligence Research10.1613/jair.1.1152965:1(181-208)Online publication date: 1-May-2019
- Show More Cited By