| Dependency learning for QBF T Peitl, F Slivovsky, S Szeider Journal of Artificial Intelligence Research 65, 181-208, 2019 | 58 | 2019 |
| Long-distance Q-resolution with dependency schemes T Peitl, F Slivovsky, S Szeider Journal of Automated Reasoning 63, 127-155, 2019 | 29 | 2019 |
| Portfolio-based algorithm selection for circuit qbfs HH Hoos, T Peitl, F Slivovsky, S Szeider Principles and Practice of Constraint Programming: 24th International …, 2018 | 19 | 2018 |
| Hardness characterisations and size-width lower bounds for QBF resolution O Beyersdorff, J Blinkhorn, M Mahajan, T Peitl ACM Transactions on Computational Logic 24 (2), 1-30, 2023 | 12 | 2023 |
| Polynomial-time validation of QCDCL certificates T Peitl, F Slivovsky, S Szeider International Conference on Theory and Applications of Satisfiability …, 2018 | 8 | 2018 |
| Hard QBFs for merge resolution O Beyersdorff, J Blinkhorn, M Mahajan, T Peitl, G Sood arXiv preprint arXiv:2012.06779, 2020 | 6 | 2020 |
| Fixed-parameter tractability of dependency QBF with structural parameters R Ganian, T Peitl, F Slivovsky, S Szeider Proceedings of the International Conference on Principles of Knowledge …, 2020 | 6 | 2020 |
| Proof complexity of fragments of long-distance Q-resolution T Peitl, F Slivovsky, S Szeider Theory and Applications of Satisfiability Testing–SAT 2019: 22nd …, 2019 | 6 | 2019 |
| Davis and Putnam meet Henkin: Solving DQBF with resolution J Blinkhorn, T Peitl, F Slivovsky Theory and Applications of Satisfiability Testing–SAT 2021: 24th …, 2021 | 5 | 2021 |
| Combining resolution-path dependencies with dependency learning T Peitl, F Slivovsky, S Szeider Theory and Applications of Satisfiability Testing–SAT 2019: 22nd …, 2019 | 5 | 2019 |
| Co-Certificate Learning with SAT Modulo Symmetries M Kirchweger, T Peitl, S Szeider arXiv preprint arXiv:2306.10427, 2023 | 4 | 2023 |
| Should Decisions in QCDCL Follow Prefix Order? B Böhm, T Peitl, O Beyersdorff 25th International Conference on Theory and Applications of Satisfiability …, 2022 | 3 | 2022 |
| QCDCL with cube learning or pure literal elimination-what is best? B Böhm, T Peitl, O Beyersdorff Proc. of the 31st Int. Joint Conf. on Artificial Intelligence (IJCAI 2022 …, 2022 | 3 | 2022 |
| Finding the hardest formulas for resolution T Peitl, S Szeider Journal of Artificial Intelligence Research 72, 69-97, 2021 | 3 | 2021 |
| Strong (D) QBF dependency schemes via tautology-free resolution paths O Beyersdorff, J Blinkhorn, T Peitl International Conference on Theory and Applications of Satisfiability …, 2020 | 2 | 2020 |
| Qute in the QBF evaluation 2018 T Peitl, F Slivovsky, S Szeider Journal on Satisfiability, Boolean Modeling and Computation 11 (1), 261-272, 2019 | 2 | 2019 |
| A SAT Solver’s Opinion on the Erdős-Faber-Lovász Conjecture M Kirchweger, T Peitl, S Szeider 26th International Conference on Theory and Applications of Satisfiability …, 2023 | 1 | 2023 |
| Are hitting formulas hard for resolution? T Peitl, S Szeider Discrete Applied Mathematics 337, 173-184, 2023 | | 2023 |
| Advanced dependency analysis for QBF T Peitl Wien, 2019 | | 2019 |
Stefan SzeiderProfessor, Head of Algorithms and Complexity Group, TU Wien, Vienna, AustriaDirección de correo verificada de szeider.net
