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 -
f4ncgb: High Performance Gröbner Basis Computations in Free Algebras
Heisinger, M. & Hofstadler, C., 2026, Computer Algebra in Scientific Computing: 27th International Workshop, CASC 2025, Dubai, United Arab Emirates, November 24–28, 2025, Proceedings. (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
Refinement-Based Enumeration of QBF Solutions
Plank, A., Hofstadler, C., Heisinger, M. & Seidl, M., 01 Sept 2025, Logics in Artificial Intelligence - 19th European Conference, JELIA 2025, Proceedings: 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1–4, 2025, Proceedings, Part II. Casini, G., Dundua, B. & Kutsia, T. (eds.). p. 166-181 16 p. (Lecture Notes in Computer Science; vol. 16094 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
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 -
Encoding, Solving, and Benchmarking for SAT and Extensions
Heisinger, M., 2024, 160 p.Research output: Thesis › Doctoral thesis
Projects
- 1 Active
-
Cluster of Excellence "Bilateral Artificial Intelligence"
Fürnkranz, J. (PI), Hochreiter, S. (PI), Klambauer, G. (PI), Schedl, M. (PI), Seidl, M. (PI), Widmer, G. (PI), Brandstetter, J. (PI), Kobler, E. (PI), Aichernig, B. (PI), Heisinger, M. (Researcher), Hoedt, P.-J. (Researcher), Pfeiffer, P. (Researcher), Plank, A. (Researcher), Radler, A. (Researcher), Rebola Pardo, A. (Researcher), Lin, W. (Researcher), Eckert, H. (Researcher), Cranganore, S. S. (Researcher), Hartl, A.-R. (Researcher), Plasser, M. (Researcher), Pammer, T. (Researcher), Tommasel, A. (Researcher), Nawaz, S. (Researcher), Masoudian, S. (Researcher) & Freinschlag, R. (Researcher)
01.10.2024 → 30.09.2029
Project: Funded research › FWF - Austrian Science Fund
-
PyQBF: A Python Framework for Solving Quantified Boolean Formulas (short paper)
Peyrer, M. (Speaker), Seidl, M. (Speaker) & Heisinger, M. (Speaker)
15 Nov 2024Activity: 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
-
From Decision Models To User-Guiding Configurators Using SMT
Heisinger, M. (Speaker) & Piminger, F. (Speaker)
07 Feb 2024Activity: Talk or presentation › Contributed talk › science-to-science
-
Validation of QBF Encodings with Winning Strategies
Shaik, I. (Speaker), Heisinger, M. (Speaker), Seidl, M. (Speaker) & van de Pol, J. (Speaker)
08 Jul 2023Activity: Talk or presentation › Contributed talk › science-to-science
Datasets
-
PyQBF: A Python Framework for Solving Quantified Boolean Formulas
Peyrer, M. (Creator), Heisinger, M. (Creator) & Seidl, M. (Creator), Zenodo, 19 Aug 2024
Dataset