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
- 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
- JKU Java introductory course (in German) 2021, 2022, 2023, 2024
- 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
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