| No. |
Title |
Author |
Year |
| 1 |
QBF Merge Resolution Is Powerful but Unnatural |
Mahajan, Meena et al. |
2022 |
| 2 |
Computational Complexity of Discrete Problems (Dagstuhl Seminar 21121) |
Gál, Anna et al. |
2021 |
| 3 |
On (Simple) Decision Tree Rank |
Dahiya, Yogesh et al. |
2021 |
| 4 |
Algebraic Branching Programs, Border Complexity, and Tangent Spaces |
Bläser, Markus et al. |
2020 |
| 5 |
Hard QBFs for Merge Resolution |
Beyersdorff, Olaf et al. |
2020 |
| 6 |
SAT and Interactions (Dagstuhl Seminar 20061) |
Beyersdorff, Olaf et al. |
2020 |
| 7 |
Building Strategies into QBF Proofs |
Beyersdorff, Olaf et al. |
2019 |
| 8 |
Lower Bound Techniques for QBF Proof Systems |
Mahajan, Meena |
2018 |
| 9 |
Arithmetic Circuits: An Overview (Invited Talk) |
Mahajan, Meena |
2017 |
| 10 |
Computing the Maximum using (min, +) Formulas |
Mahajan, Meena et al. |
2017 |
| 11 |
Are Short Proofs Narrow? QBF Resolution is not Simple |
Beyersdorff, Olaf et al. |
2016 |
| 12 |
Circuits, Logic and Games (Dagstuhl Seminar 15401) |
Bojanczyk, Mikolaj et al. |
2016 |
| 13 |
Understanding Cutting Planes for QBFs |
Beyersdorff, Olaf et al. |
2016 |
| 14 |
Homomorphism Polynomials Complete for VP |
Durand, Arnaud et al. |
2014 |
| 15 |
LIPIcs, Volume 8, FSTTCS'10, Complete Volume |
Lodaya, Kamal et al. |
2013 |
| 16 |
Frontmatter, Table of Contents, Preface, Conference Organization, Author Index |
Lodaya, Kamal et al. |
2010 |
| 17 |
Small space analogues of Valiant's classes and the limitations of skew formula |
Mahajan, Meena et al. |
2010 |
