Maximilian Heisinger

According to our database, Maximilian Heisinger authored at least 11 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

From Decision Models To User-Guiding Configurators Using SMT.

Maximilian Heisinger, Florian Piminger, Martina Seidl

Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems, 2024

Booleguru, the Propositional Polyglot (Short Paper).

Maximilian Heisinger, Simone Heisinger, Martina Seidl

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

Quantifier Shifting for Quantified Boolean Formulas Revisited.

Simone Heisinger, Maximilian Heisinger, Adrian Rebola-Pardo, Martina Seidl

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

2023

Artifact for Paper Search-Space Pruning with Int-Splits for Faster QBF Solving.

Maximilian Heisinger, Irfansha Shaik, Martina Seidl, Jaco van de Pol

Dataset, March, 2023

Search-Space Pruning with Int-Splits for Faster QBF Solving.

Maximilian Heisinger, Irfansha Shaik, Martina Seidl, Jaco van de Pol

CoRR, 2023

ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving.

Maximilian Heisinger, Martina Seidl, Armin Biere

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Validation of QBF Encodings with Winning Strategies.

Irfansha Shaik, Maximilian Heisinger, Martina Seidl, Jaco van de Pol

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

2022

Artifact for Paper ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving.

Maximilian Heisinger, Martina Seidl, Armin Biere

Dataset, November, 2022

QuAPI: Adding Assumptions to Non-Assuming SAT & QBF Solvers.

Maximilian Heisinger, Martina Seidl, Armin Biere

Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11, 2022

2020

Distributed Cube and Conquer with Paracooba.

Maximilian Heisinger, Mathias Fleury, Armin Biere

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

SymJEx: symbolic execution on the GraalVM.

Sebastian Kloibhofer, Thomas Pointhuber, Maximilian Heisinger, Hanspeter Mössenböck, Lukas Stadler, David Leopoldseder

Proceedings of the MPLR '20: 17th International Conference on Managed Programming Languages and Runtimes, 2020