Maximilian Heisinger

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 9

Top Topics

Decision Models

Search Space Pruning

Quantified Boolean Formulas

Top Venues

Publications

Simone Heisinger, Maximilian Heisinger, Adrian Rebola-Pardo, Martina Seidl
Quantifier Shifting for Quantified Boolean Formulas Revisited. IJCAR (1) (2024)
Maximilian Heisinger, Florian Piminger, Martina Seidl
From Decision Models To User-Guiding Configurators Using SMT. VaMoS (2024)
Maximilian Heisinger, Simone Heisinger, Martina Seidl
Booleguru, the Propositional Polyglot (Short Paper). IJCAR (1) (2024)
Maximilian Heisinger, Martina Seidl, Armin Biere
ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving. TACAS (1) (2023)
Maximilian Heisinger, Irfansha Shaik, Martina Seidl, Jaco van de Pol
Search-Space Pruning with Int-Splits for Faster QBF Solving. CoRR (2023)
Irfansha Shaik, Maximilian Heisinger, Martina Seidl, Jaco van de Pol
Validation of QBF Encodings with Winning Strategies. SAT (2023)
Maximilian Heisinger, Martina Seidl, Armin Biere
QuAPI: Adding Assumptions to Non-Assuming SAT & QBF Solvers. PAAR@IJCAR (2022)
Maximilian Heisinger, Mathias Fleury, Armin Biere
Distributed Cube and Conquer with Paracooba. SAT (2020)
Sebastian Kloibhofer, Thomas Pointhuber, Maximilian Heisinger, Hanspeter Mössenböck, Lukas Stadler, David Leopoldseder
SymJEx: symbolic execution on the GraalVM. MPLR (2020)