• Skip to main navigation
  • Skip to search
  • Skip to main content
JKU & KUK Research Portal Home JKU & KUK Research Portal Logo
  • Help & FAQ
    • English
    • Deutsch
  • Home
  • Research units
  • Profiles
  • Research output
  • Projects
  • Activities
  • Datasets
  • Prizes
  • Press/Media
No photo of Simone Heisinger

View Scopus Profile

Simone Heisinger

DI, BSc

  • Institute for Symbolic Artificial Intelligence
  • Emailsimone.heisingerjkuat
  • Overview
  • Network
  • Research output (5)
  • Activities (11)

Research output

  • 4 Conference proceedings
  • 1 Master's / Diploma thesis

Research output per year

Research output per year

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

    Heisinger, S., Heisinger, M. & Seidl, M., 17 Jun 2025, SLE '25: Proceedings of the 18th ACM SIGPLAN International Conference on Software Language Engineerin. p. 189-198 10 p. (SLE 2025 - Proceedings of18th ACM SIGPLAN International Conference on Software Language Engineering, Co-located with: STAF 2025).

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

    Open Access
  • Booleguru, the Propositional Polyglot (Short Paper)

    Heisinger, M., Heisinger, S. & Seidl, M., 2024, Automated Reasoning, 12th International Joint Conference, IJCAR 2024. Benzmüller, C., Heule, M. J. H. & Schmidt, R. A. (eds.). Springer, Vol. LNAI 14739. p. 315-324 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14739 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

    Open Access
  • Quantifier Shifting for Quantified Boolean Formulas Revisited

    Heisinger, S., Heisinger, M., Rebola Pardo, A. & Seidl, M., 2024, Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Proceedings. Benzmüller, C., Heule, M. J. H. & Schmidt, R. A. (eds.). Springer, Vol. LNAI 14739. p. 325-343 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14739 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

    Open Access
  • True Crafted Formula Families for Benchmarking Quantified Satisfiability Solvers

    Heisinger, S. & Seidl, M., Aug 2023, Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Proceedings. Dubois, C. & Kerber, M. (eds.). Springer, Vol. 14101. p. 291–296 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14101 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

  • Crafted True Formulas for Benchmarking QBF Solvers

    Atzwanger, S., 2022, 61 p.

    Research output: Thesis › Master's / Diploma thesis

Activities

  • 7 Contributed talk
  • 2 Organising a conference, workshop, ...
  • 1 Other
  • 1 Invited talk

Activities per year

  • Evaluating LLMs on Formal Models Coursework

    Heisinger, S. (Speaker)

    02 Aug 2025

    Activity: Talk or presentation › Contributed talk › science-to-science

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

    Heisinger, S. (Speaker)

    13 Jun 2025

    Activity: Talk or presentation › Contributed talk › science-to-science

  • Booleguru, the Propositional Polyglot (Short Paper)

    Heisinger, S. (Speaker), Heisinger, M. (Speaker) & Seidl, M. (Speaker)

    05 Jul 2024

    Activity: Talk or presentation › Contributed talk › science-to-science

  • Quantifier Shifting for Quantified Boolean Formulas Revisited

    Heisinger, S. (Speaker), Heisinger, M. (Speaker), Rebola Pardo, A. (Speaker) & Seidl, M. (Speaker)

    04 Jul 2024

    Activity: Talk or presentation › Contributed talk › science-to-science

  • True Crafted Formula Families for Benchmarking Quantified Satisfiability Solvers

    Heisinger, S. (Speaker) & Seidl, M. (Speaker)

    05 Sept 2023

    Activity: Talk or presentation › Contributed talk › science-to-science

View all 11 activities
JKU & KUK Research Portal Logo

Powered by Pure, Scopus & Elsevier Fingerprint Engine™

All content on this site: Copyright © 2026 JKU & KUK Research Portal, its licensors, and contributors. All rights are reserved, including those for text and data mining, AI training, and similar technologies. For all open access content, the relevant licensing terms apply

We use cookies to help provide and enhance our service and tailor content. By continuing you agree to the use of cookies

Log in to Pure

Impressum

About web accessibility

Report vulnerability

Contact us