The following publications are possibly variants of this publication:
- Hard QBFs for Merge ResolutionOlaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan, Tomás Peitl, Gaurav Sood. fsttcs 2020: [doi]
- QBF Merge Resolution Is Powerful but UnnaturalMeena Mahajan, Gaurav Sood 0001. sat 2022: [doi]
- QBF Merge Resolution is powerful but unnaturalMeena Mahajan, Gaurav Sood 0001. eccc, TR22, 2022. [doi]
- Classes of Hard Formulas for QBF ResolutionAgnes Schleitzer, Olaf Beyersdorff. sat 2022: [doi]
- Classes of Hard Formulas for QBF ResolutionAgnes Schleitzer, Olaf Beyersdorff. jair, 77:1455-1487, 2023. [doi]
- Classes of Hard Formulas for QBF ResolutionAgnes Schleitzer, Olaf Beyersdorff. eccc, TR22, 2022. [doi]
- Extension Variables in QBF ResolutionOlaf Beyersdorff, Leroy Chew, Mikolas Janota. AAAI 2016: [doi]
- Extension Variables in QBF ResolutionOlaf Beyersdorff, Leroy Chew, Mikolas Janota. eccc, 23:5, 2016. [doi]
- The Riis Complexity Gap for QBF ResolutionOlaf Beyersdorff, Judith Clymo, Stefan S. Dantchev, Barnaby Martin. eccc, 25:24, 2018. [doi]
- More on Size and Width in QBF ResolutionOlaf Beyersdorff, Judith Clymo. eccc, 25:25, 2018. [doi]