| Cadical, kissat, paracooba, plingeling and treengeling entering the sat competition 2020 A Fleury, M Heisinger Sat Competition 2020, 50, 2020 | 443 | 2020 |
| Distributed cube and conquer with paracooba M Heisinger, M Fleury, A Biere Theory and Applications of Satisfiability Testing–SAT 2020: 23rd …, 2020 | 21 | 2020 |
| SymJEx: symbolic execution on the GraalVM S Kloibhofer, T Pointhuber, M Heisinger, H Mössenböck, L Stadler, ... Proceedings of the 17th International Conference on Managed Programming …, 2020 | 10 | 2020 |
| CaDiCaL A Biere, K Fazekas, M Fleury, M Heisinger Lingeling, Plingeling, Treengeling, and YalSAT entering the SAT competition, 2017 | 8 | 2017 |
| Booleguru, the propositional polyglot (short paper) M Heisinger, S Heisinger, M Seidl International Joint Conference on Automated Reasoning, 315-324, 2024 | 5 | 2024 |
| QuAPI: Adding Assumptions to Non-Assuming SAT & QBF Solvers. M Heisinger, M Seidl, A Biere PAAR@ IJCAR, 2022 | 5 | 2022 |
| Validation of QBF encodings with winning strategies I Shaik, M Heisinger, M Seidl, J van de Pol 26th International Conference on Theory and Applications of Satisfiability …, 2023 | 3 | 2023 |
| Paracooba enters SAT competition 2022 ML Heisinger SAT COMPETITION 2022, 42, 2022 | 3 | 2022 |
| Quantifier shifting for quantified boolean formulas revisited S Heisinger, M Heisinger, A Rebola-Pardo, M Seidl International Joint Conference on Automated Reasoning, 325-343, 2024 | 2 | 2024 |
| From Decision Models To User-Guiding Configurators Using SMT M Heisinger, F Piminger, M Seidl Proceedings of the 18th International Working Conference on Variability …, 2024 | 2 | 2024 |
| ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving M Heisinger, M Seidl, A Biere International Conference on Tools and Algorithms for the Construction and …, 2023 | 2 | 2023 |
| Reproducible Cluster (less) Speedup Analysis M Heisinger, M Seidl RRRR, 2022 | 2 | 2022 |
| PyQBF: A Python Framework for Solving Quantified Boolean Formulas M Peyrer, M Heisinger, M Seidl International Conference on Integrated Formal Methods, 279-287, 2024 | 1 | 2024 |
| Search-Space Pruning with Int-Splits for Faster QBF Solving M Heisinger, I Shaik, M Seidl, J van de Pol arXiv preprint arXiv:2304.08308, 2023 | 1 | 2023 |
| Encoding, Solving, and Benchmarking for SAT and Extensions/Author Dipl.-Ing. Maximilian Levi Heisinger, B. Sc. M Heisinger | | 2024 |
| Boolean Format Multitool for the Next Generation M Heisinger Institute for Symbolic AI, 2023 | | 2023 |
| 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023) M Anders, P Schweitzer, M Soos, O Beyersdorff, T Hoffmann, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2023 | | 2023 |
| Distributed SAT & QBF Solving: The Paracooba Framework/Author Maximilian Levi Heisinger BSc ML Heisinger | | 2021 |
| Static Analysis of Physically Constrained Software Systems Using SMT ML Heisinger | | |
