Research output per year
Research output per year
Research output
-
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. Boulier, F., Mou, C., Sadykov, T. M. & Vorozhtsov, E. V. (eds.). 1 ed. p. 79-97 19 p. (Lecture Notes in Computer Science; vol. 16235 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
From Natural Language to Exact Cover: A Neuro-Symbolic Approach to Zebra Puzzles
Skaisgiris, P., Pammer, T., Semmelrock, V., Ielanskyi, M., Heisinger, M. & Kobler, E., 01 Apr 2026, ICLR 2026 Workshop on Logical Reasoning of Large Language Models. 1 ed. OpenReview.net, 25 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
PyQBF: A Python Framework for Solving Quantified Boolean Formulas
Peyrer, M., Heisinger, M. & Seidl, M., 03 Jun 2026, In: Formal Aspects of Computing. 38, 2, 12 p., 15.Research output: Contribution to journal › Article › peer-review
Open Access -
(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. 1 ed. 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 -
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.). 1 ed. 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
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
Prizes
-
Outstanding Paper Award at ICLR 2026 Workshop on Logical Reasoning of Large Language Models
Skaisgiris, P. (Recipient), Pammer, T. (Recipient), Semmelrock, V. (Recipient), Ielanskyi, M. (Recipient), Heisinger, M. (Recipient) & Kobler, E. (Recipient), 23 Apr 2026
Prize: Prize, award or honor