| Proof complexity of resolution-based QBF calculi O Beyersdorff, L Chew, M Janota 32nd International Symposium on Theoretical Aspects of Computer Science …, 2015 | 84 | 2015 |
| On unification of QBF resolution-based calculi O Beyersdorff, L Chew, M Janota Mathematical Foundations of Computer Science 2014: 39th International …, 2014 | 69 | 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 | 50 | 2016 |
| Feasible interpolation for QBF resolution calculi O Beyersdorff, L Chew, M Mahajan, A Shukla Logical Methods in Computer Science 13, 2017 | 44 | 2017 |
| 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 | 36 | 2019 |
| 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 | 35 | 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 |
| Lifting QBF resolution calculi to DQBF O Beyersdorff, L Chew, RA Schmidt, M Suda International Conference on Theory and Applications of Satisfiability …, 2016 | 26 | 2016 |
| Understanding cutting planes for QBFs O Beyersdorff, L Chew, M Mahajan, A Shukla Information and Computation 262, 141-161, 2018 | 25 | 2018 |
| Frege systems for quantified Boolean logic O Beyersdorff, I Bonacina, L Chew, J Pich Journal of the ACM (JACM) 67 (2), 1-36, 2020 | 23 | 2020 |
| Extension Variables in QBF Resolution. O Beyersdorff, L Chew, M Janota AAAI Workshop: Beyond NP 16, 05, 2016 | 16 | 2016 |
| QBF proof complexity LN Chew University of Leeds, 2017 | 13 | 2017 |
| Towards uniform certification in QBF L Chew, F Slivovsky Logical Methods in Computer Science 20, 2024 | 12 | 2024 |
| Sorting parity encodings by reusing variables L Chew, MJH Heule International Conference on Theory and Applications of Satisfiability …, 2020 | 12 | 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 | 10 | 2019 |
| Hardness and optimality in QBF proof systems modulo NP L Chew Theory and Applications of Satisfiability Testing–SAT 2021: 24th …, 2021 | 8 | 2021 |
| 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 |
| Relating existing powerful proof systems for QBF L Chew, MJ Heule Leibniz international proceedings in informatics 236, 2022 | 6 | 2022 |
| How QBF expansion makes strategy extraction hard L Chew, J Clymo Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020 | 6 | 2020 |
| The equivalences of refutational QRAT L Chew, J Clymo Theory and Applications of Satisfiability Testing–SAT 2019: 22nd …, 2019 | 6 | 2019 |
Olaf BeyersdorffProfessor of Theoretical Computer Science, Friedrich Schiller University Jena, GermanyEmail yang diverifikasi di uni-jena.de