!!Research output per year
!!Research output per year
-
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. (Hrsg.). 1 Aufl. S. 79-97 19 S. (Lecture Notes in Computer Science; Band 16235 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
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 Aufl. OpenReview.net, 25 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
PyQBF: A Python Framework for Solving Quantified Boolean Formulas
Peyrer, M., Heisinger, M. & Seidl, M., 03 Juni 2026, in: Formal Aspects of Computing. 38, 2, 12 S., 15.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access -
(Semantic) Feature Model Differences with (Q)SAT
Heisinger, S., Heisinger, M. & Seidl, M., 17 Juni 2025, SLE '25: Proceedings of the 18th ACM SIGPLAN International Conference on Software Language Engineerin. 1 Aufl. S. 189-198 10 S. (SLE 2025 - Proceedings of18th ACM SIGPLAN International Conference on Software Language Engineering, Co-located with: STAF 2025).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
Open Access -
Refinement-Based Enumeration of QBF Solutions
Plank, A., Hofstadler, C., Heisinger, M. & Seidl, M., 01 Sep. 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. (Hrsg.). 1 Aufl. S. 166-181 16 S. (Lecture Notes in Computer Science; Band 16094 LNAI).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
Projekte
- 1 Laufend
-
Cluster of Excellence "Bilateral Artificial Intelligence"
Fürnkranz, J. (Projektleiter*in), Hochreiter, S. (Projektleiter*in), Klambauer, G. (Projektleiter*in), Schedl, M. (Projektleiter*in), Seidl, M. (Projektleiter*in), Widmer, G. (Projektleiter*in), Brandstetter, J. (Projektleiter*in), Kobler, E. (Projektleiter*in), Aichernig, B. (Projektleiter*in), Heisinger, M. (Forscher*in), Hoedt, P.-J. (Forscher*in), Pfeiffer, P. (Forscher*in), Plank, A. (Forscher*in), Radler, A. (Forscher*in), Rebola Pardo, A. (Forscher*in), Lin, W. (Forscher*in), Eckert, H. (Forscher*in), Cranganore, S. S. (Forscher*in), Hartl, A.-R. (Forscher*in), Plasser, M. (Forscher*in), Pammer, T. (Forscher*in), Tommasel, A. (Forscher*in), Nawaz, S. (Forscher*in), Masoudian, S. (Forscher*in) & Freinschlag, R. (Forscher*in)
01.10.2024 → 30.09.2029
Projekt: Geförderte Forschung › FWF - Österreichischer Wissenschaftsfonds
-
PyQBF: A Python Framework for Solving Quantified Boolean Formulas (short paper)
Peyrer, M. (Vortragende*r), Seidl, M. (Vortragende*r) & Heisinger, M. (Vortragende*r)
15 Nov. 2024Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › Science-to-science
-
Booleguru, the Propositional Polyglot (Short Paper)
Heisinger, S. (Vortragende*r), Heisinger, M. (Vortragende*r) & Seidl, M. (Vortragende*r)
05 Juli 2024Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › Science-to-science
-
Quantifier Shifting for Quantified Boolean Formulas Revisited
Heisinger, S. (Vortragende*r), Heisinger, M. (Vortragende*r), Rebola Pardo, A. (Vortragende*r) & Seidl, M. (Vortragende*r)
04 Juli 2024Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › Science-to-science
-
From Decision Models To User-Guiding Configurators Using SMT
Heisinger, M. (Vortragende*r) & Piminger, F. (Vortragende*r)
07 Feb. 2024Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › Science-to-science
-
Validation of QBF Encodings with Winning Strategies
Shaik, I. (Vortragende*r), Heisinger, M. (Vortragende*r), Seidl, M. (Vortragende*r) & van de Pol, J. (Vortragende*r)
08 Juli 2023Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › Science-to-science
Forschungsdatensätze
-
PyQBF: A Python Framework for Solving Quantified Boolean Formulas
Peyrer, M. (Urheber*in), Heisinger, M. (Urheber*in) & Seidl, M. (Urheber*in), Zenodo, 19 Aug. 2024
Datensatz
Auszeichnungen
-
Outstanding Paper Award at ICLR 2026 Workshop on Logical Reasoning of Large Language Models
Skaisgiris, P. (Empfänger*in), Pammer, T. (Empfänger*in), Semmelrock, V. (Empfänger*in), Ielanskyi, M. (Empfänger*in), Heisinger, M. (Empfänger*in) & Kobler, E. (Empfänger*in), 23 Apr. 2026
Auszeichnung: Preis, Auszeichnung oder Ehrung