| Proof complexity of resolution-based QBF calculi O Beyersdorff, L Chew, M Janota 32nd International Symposium on Theoretical Aspects of Computer Science …, 2015 | 83 | 2015 |
| On unification of QBF resolution-based calculi O Beyersdorff, L Chew, M Janota Mathematical Foundations of Computer Science 2014: 39th International …, 2014 | 65 | 2014 |
| Lower bounds: From circuits to QBF proof systems O Beyersdorff, I Bonacina, C Leroy Proceedings of the 2016 ACM Conference on Innovations in Theoretical …, 2016 | 49 | 2016 |
| Feasible interpolation for QBF resolution calculi O Beyersdorff, L Chew, M Mahajan, A Shukla Logical Methods in Computer Science 13, 2017 | 40 | 2017 |
| Are Short Proofs Narrow? QBF Resolution Is Not So Simple O Beyersdorff, L Chew, M Mahajan, A Shukla ACM Transactions on Computational Logic (TOCL) 19 (1), 1-26, 2017 | 34 | 2017 |
| A game characterisation of tree-like Q-resolution size O Beyersdorff, L Chew, K Sreenivasaiah Journal of Computer and System Sciences 104, 82-101, 2019 | 33 | 2019 |
| New resolution-based QBF calculi and their proof complexity O Beyersdorff, L Chew, M Janota ACM Transactions on Computation Theory (TOCT) 11 (4), 1-42, 2019 | 29 | 2019 |
| Understanding cutting planes for QBFs O Beyersdorff, L Chew, M Mahajan, A Shukla Information and Computation 262, 141-161, 2018 | 24 | 2018 |
| Lifting QBF resolution calculi to DQBF O Beyersdorff, L Chew, RA Schmidt, M Suda International Conference on Theory and Applications of Satisfiability …, 2016 | 23 | 2016 |
| Frege systems for quantified Boolean logic O Beyersdorff, I Bonacina, L Chew, J Pich Journal of the ACM (JACM) 67 (2), 1-36, 2020 | 17 | 2020 |
| Extension Variables in QBF Resolution. O Beyersdorff, L Chew, M Janota AAAI Workshop: Beyond NP 16, 05, 2016 | 14 | 2016 |
| QBF proof complexity LN Chew University of Leeds, 2017 | 11 | 2017 |
| Towards uniform certification in QBF L Chew, F Slivovsky Logical Methods in Computer Science 20, 2024 | 10 | 2024 |
| Sorting parity encodings by reusing variables L Chew, MJH Heule International Conference on Theory and Applications of Satisfiability …, 2020 | 10 | 2020 |
| Reinterpreting dependency schemes: soundness meets incompleteness in DQBF O Beyersdorff, J Blinkhorn, L Chew, R Schmidt, M Suda Journal of Automated Reasoning 63, 597-623, 2019 | 9 | 2019 |
| Short proofs in QBF expansion O Beyersdorff, L Chew, J Clymo, M Mahajan Theory and Applications of Satisfiability Testing–SAT 2019: 22nd …, 2019 | 8 | 2019 |
| Hardness and optimality in QBF proof systems modulo NP L Chew Theory and Applications of Satisfiability Testing–SAT 2021: 24th …, 2021 | 7 | 2021 |
| The equivalences of refutational QRAT L Chew, J Clymo Theory and Applications of Satisfiability Testing–SAT 2019: 22nd …, 2019 | 6 | 2019 |
| How QBF expansion makes strategy extraction hard L Chew, J Clymo Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020 | 5 | 2020 |
| Relating existing powerful proof systems for QBF L Chew, MJH Heule 25th International Conference on Theory and Applications of Satisfiability …, 2022 | 3 | 2022 |
Olaf BeyersdorffProfessor of Theoretical Computer Science, Friedrich Schiller University Jena, GermanyVerified email at uni-jena.de
