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 -
QRP+Gen: A Framework for Checking Q-Resolution Proofs with Generalized Axioms
Peyrer, M. & Seidl, M., 07 Aug 2025, 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025). Berg, J., Nordstrom, J. & Nordstrom, J. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 341. p. 25:1-25:10 10 p. 25. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 341).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.). Springer, Cham, Vol. 2. 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
-
Solution Counts of Some Prominent Quantified Boolean Formulas Families
Plank, A., Kauers, M. & Seidl, M., 14 May 2025, Proceedings of ACM SAC Conference (SAC’25). New York, p. 1035-1042 8 p. (Proceedings of the ACM Symposium on Applied Computing).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
Open Access -
A Top-Down Tree Model Counter for Quantified Boolean Formulas
Capelli, F., Lagniez, J.-M., Plank, A. & Seidl, M., 2024, Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence (IJCAI-24). 9 p. (Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence (IJCAI-24)).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
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
-
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
-
Logical Methods in Computer Science - Periode II (DK W-1255)
Biere, A. (PI) & Seidl, M. (PI)
01.03.2018 → 28.02.2023
Project: Funded research › FWF - Austrian Science Fund
-
Bit-Precise-Reasoning Periode II (Subprojekt des NFN S-114)
Niemetz, A. (Researcher), Preiner, M. (Researcher), Seidl, M. (Researcher), Sperl, C. (Researcher) & Biere, A. (PI)
01.03.2014 → 28.02.2019
Project: Funded research › FWF - Austrian Science Fund
Activities
-
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, ...
-
Workshop: Alles Logisch?
Seidl, M. (Organiser), Peyrer, M. (Organiser), Plank, A. (Organiser) & Renner, J. (Organiser)
12 Jun 2025Activity: Participating in or organising an event › Organising a conference, workshop, ...
-
Traumberuf Technik 2025
Seidl, M. (Organiser), Peyrer, M. (Organiser) & Pfeiffer, P. (Organiser)
25 Feb 2025Activity: Participating in or organising an event › Organising a conference, workshop, ...
-
PhD Committee Franz-Xaver Reichl, TU Wien (External organisation)
Seidl, M. (Member)
13 Jan 2025Activity: Membership/Function › Board, Committee or Jury
-
Associate Editor for Artificial Intelligence Journal (AIJ) (Journal or book series)
Seidl, M. (Editor)
01 Jan 2025 → 31 Dec 2027Activity: Publication peer-review and editorial work › Editorial work
Datasets
-
PyQBF: A Python Framework for Solving Quantified Boolean Formulas
Peyrer, M. (Creator), Heisinger, M. (Creator) & Seidl, M. (Creator), Zenodo, 19 Aug 2024
Dataset
-
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