Research output per year
Research output per year
-
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. (eds.). 1 ed. Springer Cham, p. 324-332 9 p. (Lecture Notes in Computer Science; vol. 16505 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
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. (eds.). 1 ed. Springer, Cham, p. 159–165 7 p. (Lecture Notes in Computer Science; vol. 16094 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
The QBF Gallery 2023
Heisinger, S., Pulina, L. & Seidl, M., 17 Apr 2026, 39 p. (arXiv.org; no. 2604.16153).Research output: Working paper and reports › Preprint
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 ed. Timisoara, Romania: IEEE, p. 113-117 5 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
(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
-
MIND: Medical Intelligence for Next Generation Diagnostics
Hamidovic, M. (PI), Zelko, E. (Co-PI), Khanzadeh, R. (Researcher), Fuger, J. (Researcher), Seidl, M. (Researcher), Salzer, H. (Researcher) & Springer, A. (Researcher)
01.04.2026 → 30.11.2027
Project: Funded research › Federal / regional / local authorities
-
Industrial problem solving using symbolic and subsymbolic AI
Schreiner, W. (PI), Schneider, C. (PI) & Seidl, M. (PI)
01.05.2025 → 31.10.2026
Project: Funded research › FFG - Austrian Research Promotion Agency
-
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
-
Proof Complexity and Certification in QBF, PSPACE and Beyond
Chew, L. (PI) & Seidl, M. (Co-PI)
01.09.2026 → 31.08.2030
Project: Funded research › FWF - Austrian Science Fund
-
LOGTECHEDU - Logic Technology for Computer Science Education
Sabitzer, B. (Researcher), Seidl, M. (Researcher) & Biere, A. (PI)
01.03.2018 → 31.08.2020
Project: Funded research › Federal / regional / local authorities
Activities
-
Ö1 Diskussion "Was die Welt zusammenhält"
Seidl, M. (Participant) & Kocher, M. (Participant)
15 Dec 2025Activity: Other
-
Refined Notions of QBF Equivalences
Pfeiffer, P. (Speaker), Große, D. (Speaker) & Seidl, M. (Speaker)
02 Sept 2025Activity: Talk or presentation › Contributed talk › science-to-science
-
International Workshop on Quantified Boolean Formulas and Beyond
Peyrer, M. (Participant) & Seidl, M. (Participant)
11 Aug 2025Activity: Participating in or organising an event › Participating in a conference, workshop, ...
-
Lecture "Trust is good – certificates are better"
Seidl, M. (Speaker)
09 Jul 2025Activity: Talk or presentation › Invited talk › science-to-science
-
Reasoning with Quantified Boolean Formulas
Seidl, M. (Keynote speaker)
08 Jul 2025Activity: Talk or presentation › Invited talk › science-to-science
Datasets
-
QRP+Gen: Checking Q-Resolution Proofs with Generalized Axioms
Peyrer, M. (Creator) & Seidl, M. (Creator), Zenodo, 22 Jul 2025
DOI: 10.5281/zenodo.16307432, https://zenodo.org/records/16307432
Dataset
-
PyQBF: A Python Framework for Solving Quantified Boolean Formulas
Peyrer, M. (Creator), Heisinger, M. (Creator) & Seidl, M. (Creator), Zenodo, 19 Aug 2024
Dataset
Prizes
-
Kepler Award 2024 for the course "Logic", co-lectured by the institutes RISC (Wolfgang Schreiner and Wolfgang Windsteiger) and SAI (Martina Seidl)
Schreiner, W. (Recipient), Windsteiger, W. (Recipient) & Seidl, M. (Recipient), 2024
Prize: Prize, award or honor