Simone Heisinger

According to our database, Simone Heisinger authored at least 4 papers between 2023 and 2025.

Collaborative distances:

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

2025

(Semantic) Feature Model Differences with (Q)SAT.

Simone Heisinger, Maximilian Heisinger, Martina Seidl

Proceedings of the 18th ACM SIGPLAN International Conference on Software Language Engineering, 2025

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

True Crafted Formula Families for Benchmarking Quantified Satisfiability Solvers.

Simone Heisinger, Martina Seidl

Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023