Cadical, kissat, paracooba, plingeling and treengeling entering the sat competition 2020 A Fleury, M Heisinger SAT COMPETITION 2020, 50, 2020 | 331 | 2020 |
Distributed cube and conquer with paracooba M Heisinger, M Fleury, A Biere Theory and Applications of Satisfiability Testing–SAT 2020: 23rd …, 2020 | 16 | 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 | 8 | 2020 |
CaDiCaL A Biere, K Fazekas, M Fleury, M Heisinger Lingeling, Plingeling, Treengeling, and YalSAT entering the SAT competition, 2017 | 7 | 2017 |
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 |
QuAPI: Adding Assumptions to Non-Assuming SAT & QBF Solvers. M Heisinger, M Seidl, A Biere PAAR@ IJCAR, 2022 | 2 | 2022 |
Paracooba Enters SAT Competition 2022 ML Heisinger SAT COMPETITION 2022, 42, 2022 | 2 | 2022 |
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 | 1 | 2023 |
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 | 1 | 2023 |
Reproducible Cluster (less) Speedup Analysis M Heisinger, M Seidl RRRR, 2022 | 1 | 2022 |
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 | | 2023 |
Boolean Format Multitool for the Next Generation M Heisinger Institute for Symbolic AI, 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 | | |