Cited By
View all- Chew L(2021)Hardness and Optimality in QBF Proof Systems Modulo NPTheory and Applications of Satisfiability Testing – SAT 202110.1007/978-3-030-80223-3_8(98-115)Online publication date: 2-Jul-2021
- 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
- Beyersdorff OChew LJanota M(2019)New Resolution-Based QBF Calculi and Their Proof ComplexityACM Transactions on Computation Theory10.1145/335215511:4(1-42)Online publication date: 12-Sep-2019
- Show More Cited By