Maximilian Heisinger

15 papers A 2B 3C 1Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2025 B conf
(Semantic) Feature Model Differences with (Q)SAT.
SLE
Simone Heisinger, Maximilian Heisinger, Martina Seidl
2025 — conf
Refinement-Based Enumeration of QBF Solutions.
JELIA (2)
Andreas Plank, Clemens Hofstadler, Maximilian Heisinger, Martina Seidl
2025 J jnl
Reproducible and hackable software benchmarking with(out) compute clusters.
Int. J. Softw. Tools Technol. Transf.
Maximilian Heisinger, Martina Seidl
2025 B conf
f4ncgb: High Performance Gröbner Basis Computations in Free Algebras.
CASC
Maximilian Heisinger, Clemens Hofstadler
2025 J jnl
f4ncgb: High Performance Gröbner Basis Computations in Free Algebras.
CoRR
Maximilian Heisinger, Clemens Hofstadler
2024 — conf
Booleguru, the Propositional Polyglot (Short Paper).
IJCAR (1)
Maximilian Heisinger, Simone Heisinger, Martina Seidl
2024 — conf
From Decision Models To User-Guiding Configurators Using SMT.
VaMoS
Maximilian Heisinger, Florian Piminger, Martina Seidl
2024 B conf
PyQBF: A Python Framework for Solving Quantified Boolean Formulas.
IFM
Mark Peyrer, Maximilian Heisinger, Martina Seidl
2024 — conf
Quantifier Shifting for Quantified Boolean Formulas Revisited.
IJCAR (1)
Simone Heisinger, Maximilian Heisinger, Adrian Rebola-Pardo, Martina Seidl
2023 — conf
ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving.
TACAS (1)
Maximilian Heisinger, Martina Seidl, Armin Biere
2023 J jnl
Search-Space Pruning with Int-Splits for Faster QBF Solving.
CoRR
Maximilian Heisinger, Irfansha Shaik, Martina Seidl, Jaco van de Pol
2023 A conf
Validation of QBF Encodings with Winning Strategies.
SAT
Irfansha Shaik, Maximilian Heisinger, Martina Seidl, Jaco van de Pol
2022 — conf
QuAPI: Adding Assumptions to Non-Assuming SAT & QBF Solvers.
PAAR@IJCAR
Maximilian Heisinger, Martina Seidl, Armin Biere
2020 A conf
Distributed Cube and Conquer with Paracooba.
SAT
Maximilian Heisinger, Mathias Fleury, Armin Biere
2020 C conf
SymJEx: symbolic execution on the GraalVM.
MPLR
Sebastian Kloibhofer, Thomas Pointhuber, Maximilian Heisinger, Hanspeter Mössenböck, Lukas Stadler, David Leopoldseder