Academia
This page is a manual overview over my academic publications and services. I try to keep this page as complete and correct as possible. Please also see my Google Scholar, ORCID, and Institute page. Also have a look through my published software.
Publications
- SLE'25: (Semantic) Feature Model Differences with (Q)SAT, Simone Heisinger, Maximilian Heisinger, and Martina Seidl
- STTT'25: Reproducible and hackable software benchmarking with(out) compute clusters, Maximilian Heisinger, and Martina Seidl
- iFM'24: PyQBF: A Python Framework for Solving Quantified Boolean Formulas, Mark Peyrer, Maximilian Heisinger, and Martina Seidl
- IJCAR'24: Booleguru, the Propositional Polyglot (Short Paper), Maximilian Heisinger, Simone Heisinger, and Martina Seidl
- IJCAR'24: Quantifier Shifting for Quantified Boolean Formulas Revisited, Simone Heisinger, Maximilian Heisinger, Adrian Rebola-Pardo, and Martina Seidl
- VaMoS'24: From Decision Models To User-Guiding Configurators Using SMT, Maximilian Heisinger, Florian Piminger, and Martina Seidl
- QBF@SAT'23: Search-Space Pruning with Int-Splits for Faster QBF Solving, Maximilian Heisinger, Irfansha Shaik, Martina Seidl, and Jaco van de Pol
- SAT'23: Validation of QBF Encodings with Winning Strategies, Irfansha Shaik, Maximilian Heisinger, Martina Seidl, and Jaco van de Pol
- MBMV'23: Boolean Format Multitool for the Next Generation, Maximilian Heisinger
- TACAS'23: ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving, Maximilian Heisinger, Martina Seidl, and Armin Biere
- PAAR'22: QuAPI: Adding Assumptions to Non-Assuming SAT & QBF Solvers, Maximilian Heisinger, Martina Seidl, and Armin Biere
- RRRR'22: Reproducible Cluster (less) Speedup Analysis, Maximilian Heisinger and Martina Seidl
- MPLR'2020: SymJEx: symbolic execution on the GraalVM, Sebastian Kloibhofer, Thomas Pointhuber, Maximilian Heisinger, Hanspeter Mössenböck, Lukas Stadler, and David Leopoldseder
- SAT'20: Distributed Cube and Conquer with Paracooba, Maximilian Heisinger, Mathias Fleury, and Armin Biere
Teaching
- Initiated the Missing Semester course (in German) at the JKU in 2022, held it in 2022, 2023, and 2024
- JKU Java introductory course (in German) 2021, 2022, 2023, 2024, 2025
- TA for Formal Models (in English) in the JKU
- Lecture and exercises in Debugging (in English) at the JKU
- Lecture for Logic (in English) at the JKU
- Browser-based tooling for teaching, such as Limboole on the Go
- Introductory Lecture about Symbolic AI at the Bilateral AI Summer School 2025 in Klagenfurt
Awards
- Woody Bledsoe Award in IJCAR'24
- Adolf Adam Award 2022 for the best Master's Thesis of the year in Computer Science at JKU
- Bachelors and Masters degrees with distinction
- Best Presentation Award at SAT'20 for my Paracooba presentation
Supervised Students
- Master's Thesis: Enhancing Boolean function generation in Large Language Models with Booleguru, Sarah Lackner
- Master's Thesis: Symbolic Reasoning for Industrial-Scale Variant Configuration, Florian Piminger
- Master's Thesis: Solving QBFs with AlphaZero and MCTS, Clemens Hofstadler
- Master's Thesis: Preprocessing of Non-QCNF Prenex Formulas, Mark Andreas Peyrer
- Master's Thesis: Uncovering Exact Cover Encodings, Peter Pfeiffer
Bachelor's, Master's Theses, Dissertation
- Dissertation
- Encoding, Solving, and Benchmarking for SAT and Extensions, Supervised by Martina Seidl and Armin Biere, examined as Sehr Gut (Very Good / "A") by the committee (Daniel Große, Dirk Beyer, Martina Seidl, and Josef Küng)
- Master's Thesis
- Distributed SAT & QBF Solving: The Paracooba Framework, supervised by Martina Seidl and Armin Biere, won the Adolf-Adam Award for Best CS Master's Thesis.
- Bachelor's Thesis
- Static Analysis of Physically Constrained Software Systems Using SMT, only selected Bachelor's Thesis of the FMV, supervised by Martina Seidl and Armin Biere.