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
-
Evaluating LLMs on Formal Models Coursework
Heisinger, S. (Speaker)
02 Aug 2025Activity: Talk or presentation › Contributed talk › science-to-science
-
(Semantic) Feature Model Differences with (Q)SAT
Heisinger, S. (Speaker)
13 Jun 2025Activity: 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 2024Activity: 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 2024Activity: 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 2023Activity: Talk or presentation › Contributed talk › science-to-science