True Crafted Formula Families for Benchmarking Quantified Satisfiability Solvers. - Simone Heisinger; Martina Seidl (CICM, 2023)

Quantifier Shifting for Quantified Boolean Formulas Revisited. - Simone Heisinger; Maximilian Heisinger; Adrian Rebola-Pardo; Martina Seidl (IJCAR (1), 2024)

Booleguru, the Propositional Polyglot (Short Paper). - Maximilian Heisinger; Simone Heisinger; Martina Seidl (IJCAR (1), 2024)

(Semantic) Feature Model Differences with (Q)SAT. - Simone Heisinger; Maximilian Heisinger; Martina Seidl (SLE, 2025)