-
QSOLE: Automatic QBF Equivalence Checking
Pfeiffer, P., Peyrer, C., Große, D. & Seidl, M., 16 Apr. 2026, Tools and Algorithms for the Construction and Analysis of Systems : 32nd International Conference, TACAS 2026. Junges, S. & Katz, G. (Hrsg.). 1 Aufl. Springer Cham, S. 324-332 9 S. (Lecture Notes in Computer Science; Band 16505 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
Open Access -
Refined Notions of QBF Equivalences
Pfeiffer, P., Große, D. & Seidl, M., 2026, 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. Springer, Cham, S. 159–165 7 S. (Lecture Notes in Computer Science; Band 16094 LNAI).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
The QBF Gallery 2023
Heisinger, S., Pulina, L. & Seidl, M., 17 Apr. 2026, 39 S. (arXiv.org; Nr. 2604.16153).Publikation: Preprints, Working Paper und Forschungsberichte › Vorabpublikation
Open Access -
Towards SAT-Based Learning of NNF Networks
Seip, P., Beck, F., Fürnkranz, J., Hofstadler, C., Pfeiffer, P., Seidl, M., Peharz, R. & Szeider, S., 21 Apr. 2026, Proceedings of the 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). 1 Aufl. Timisoara, Romania: IEEE, S. 113-117 5 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
(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
-
MIND: Medical Intelligence for Next Generation Diagnostics
Hamidovic, M. (Projektleiter*in), Zelko, E. (Co-Projektleiter*in), Khanzadeh, R. (Forscher*in), Fuger, J. (Forscher*in), Seidl, M. (Forscher*in), Salzer, H. (Forscher*in) & Springer, A. (Forscher*in)
01.04.2026 → 30.11.2027
Projekt: Geförderte Forschung › Bund / Land / Gemeinden
-
Industrial problem solving using symbolic and subsymbolic AI
Schreiner, W. (Projektleiter*in), Schneider, C. (Projektleiter*in) & Seidl, M. (Projektleiter*in)
01.05.2025 → 31.10.2026
Projekt: Geförderte Forschung › FFG - Österreichische Forschungsförderungsgesellschaft
-
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
-
Beweise Komplexität und Zertifikate in QBF, PSPACE und mehr
Chew, L. (Projektleiter*in) & Seidl, M. (Co-Projektleiter*in)
01.09.2026 → 31.08.2030
Projekt: Geförderte Forschung › FWF - Österreichischer Wissenschaftsfonds
-
LOGTECHEDU - Logic Technology for Computer Science Education
Sabitzer, B. (Forscher*in), Seidl, M. (Forscher*in) & Biere, A. (Projektleiter*in)
01.03.2018 → 31.08.2020
Projekt: Geförderte Forschung › Bund / Land / Gemeinden
Aktivitäten
-
Ö1 Diskussion "Was die Welt zusammenhält"
Seidl, M. (Teilnehmer*in) & Kocher, M. (Teilnehmer*in)
15 Dez. 2025Aktivität: Sonstige
-
Refined Notions of QBF Equivalences
Pfeiffer, P. (Vortragende*r), Große, D. (Vortragende*r) & Seidl, M. (Vortragende*r)
02 Sep. 2025Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › Science-to-science
-
International Workshop on Quantified Boolean Formulas and Beyond
Peyrer, M. (Teilnehmer*in) & Seidl, M. (Teilnehmer*in)
11 Aug. 2025Aktivität: Teilnahme an oder Organisation einer Veranstaltung › Teilnahme an Konferenz, Workshop, ...
-
Fachvortrag "Vertrauen ist gut – Zertifikate sind besser"
Seidl, M. (Vortragende*r)
09 Juli 2025Aktivität: Vortrag oder Präsentation › Eingeladener Vortrag › Science-to-science
-
Reasoning with Quantified Boolean Formulas
Seidl, M. (Keynote Speaker)
08 Juli 2025Aktivität: Vortrag oder Präsentation › Eingeladener Vortrag › Science-to-science
Forschungsdatensätze
-
QRP+Gen: Checking Q-Resolution Proofs with Generalized Axioms
Peyrer, M. (Urheber*in) & Seidl, M. (Urheber*in), Zenodo, 22 Juli 2025
DOI: 10.5281/zenodo.16307432, https://zenodo.org/records/16307432
Datensatz
-
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
-
Kepler Award 2024 for the course "Logic", co-lectured by the institutes RISC (Wolfgang Schreiner and Wolfgang Windsteiger) and SAI (Martina Seidl)
Schreiner, W. (Empfänger*in), Windsteiger, W. (Empfänger*in) & Seidl, M. (Empfänger*in), 2024
Auszeichnung: Preis, Auszeichnung oder Ehrung