SymJEx: symbolic execution on the GraalVM. - Sebastian Kloibhofer; Thomas Pointhuber; Maximilian Heisinger; Hanspeter Mössenböck; Lukas Stadler; David Leopoldseder (MPLR, 2020)

Distributed Cube and Conquer with Paracooba. - Maximilian Heisinger; Mathias Fleury; Armin Biere (SAT, 2020)

QuAPI: Adding Assumptions to Non-Assuming SAT & QBF Solvers. - Maximilian Heisinger; Martina Seidl; Armin Biere (PAAR@IJCAR, 2022)

Artifact for Paper ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving. - Maximilian Heisinger; Martina Seidl; Armin Biere (Zenodo, 2022)

Validation of QBF Encodings with Winning Strategies. - Irfansha Shaik; Maximilian Heisinger; Martina Seidl; Jaco van de Pol (SAT, 2023)

ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving. - Maximilian Heisinger; Martina Seidl; Armin Biere (TACAS (1), 2023)

Search-Space Pruning with Int-Splits for Faster QBF Solving. - Maximilian Heisinger; Irfansha Shaik; Martina Seidl; Jaco van de Pol (CoRR, 2023)

Artifact for Paper Search-Space Pruning with Int-Splits for Faster QBF Solving. - Maximilian Heisinger; Irfansha Shaik; Martina Seidl; Jaco van de Pol (Zenodo, 2023)

PyQBF: A Python Framework for Solving Quantified Boolean Formulas. - Mark Peyrer; Maximilian Heisinger; Martina Seidl (IFM, 2024)

Quantifier Shifting for Quantified Boolean Formulas Revisited. - Simone Heisinger; Maximilian Heisinger; Adrian Rebola-Pardo; Martina Seidl (IJCAR (1), 2024)

Booleguru, the Propositional Polyglot (Short Paper). - Maximilian Heisinger; Simone Heisinger; Martina Seidl (IJCAR (1), 2024)

From Decision Models To User-Guiding Configurators Using SMT. - Maximilian Heisinger; Florian Piminger; Martina Seidl (VaMoS, 2024)

(Semantic) Feature Model Differences with (Q)SAT. - Simone Heisinger; Maximilian Heisinger; Martina Seidl (SLE, 2025)

f4ncgb: High Performance Gröbner Basis Computations in Free Algebras. - Maximilian Heisinger; Clemens Hofstadler (CoRR, 2025)