Simone Heisinger

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 3

Top Topics

Counter Intuitive

Quantified Boolean Formulas

Industrial Applications

Top Venues

Publications

Simone Heisinger, Maximilian Heisinger, Adrian Rebola-Pardo, Martina Seidl
Quantifier Shifting for Quantified Boolean Formulas Revisited. IJCAR (1) (2024)
Maximilian Heisinger, Simone Heisinger, Martina Seidl
Booleguru, the Propositional Polyglot (Short Paper). IJCAR (1) (2024)
Simone Heisinger, Martina Seidl
True Crafted Formula Families for Benchmarking Quantified Satisfiability Solvers. CICM (2023)