Research output per year
Research output per year
-
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
-
Uncovering Exact Cover Encodings
Pfeiffer, P., Sept 2023, 52 p.Research output: Thesis › Master's / Diploma thesis
Projects
- 1 Active
-
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
-
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, ...
-
Skolem Functions for false QBFs
Pfeiffer, P. (Speaker)
04 Sept 2024Activity: Talk or presentation › Contributed talk › science-to-science
-
Workshop: Alles Logisch?
Seidl, M. (Organiser), Peyrer, M. (Organiser), Plank, A. (Organiser) & Pfeiffer, P. (Organiser)
03 Jul 2024Activity: Participating in or organising an event › Organising a conference, workshop, ...