Cited By
View all- Böhm BBeyersdorff O(2023)Lower Bounds for QCDCL via Formula GaugeJournal of Automated Reasoning10.1007/s10817-023-09683-167:4Online publication date: 27-Sep-2023
- 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 J(2021)A simple proof of QBF hardnessInformation Processing Letters10.1016/j.ipl.2021.106093(106093)Online publication date: Jan-2021
- Show More Cited By