Research output per year
Research output per year
-
Solution Counts of Some Prominent Quantified Boolean Formulas Families
Plank, A., Kauers, M. & Seidl, M., 02 Apr 2025, (Accepted/In press) Proceedings of ACM SAC Conference (SAC’25). New York, 8 p.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
-
Booleguru, the Propositional Polyglot (Short Paper)
Heisinger, M., Heisinger, S. & Seidl, M., 2024, Automated Reasoning, 12th International Joint Conference, IJCAR 2024. Benzmüller, C., Heule, M. J. H. & Schmidt, R. A. (eds.). Springer, Vol. LNAI 14739. p. 315-324 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14739 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
Open Access -
Counting QBF solutions at level two
Plank, A., Möhle, S. & Seidl, M., 2024, In: Constraints. 29, 1, 17 p.Research output: Contribution to journal › Article › peer-review
-
From Decision Models To User-Guiding Configurators Using SMT
Heisinger, M., Piminger, F. & Seidl, M., 07 Feb 2024, VaMoS 2024: 18th International Working Conference on Variability Modelling of Software-Intensive Systems. p. 11-16 6 p. (ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
Open Access
-
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)
01.10.2024 → 30.09.2029
Project: Funded research › FWF - Austrian Science Fund
-
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
-
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
-
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
-
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
-
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
-
Vize-Chair of SAT Association (External organisation)
Seidl, M. (Member)
23 Aug 2024 → 30 Jul 2026Activity: Membership/Function › Board, Committee or Jury
-
Models and Countermodels of Quantified Boolean Formulas
Seidl, M. (Speaker)
21 Aug 2024Activity: Talk or presentation › Invited talk › science-to-science