Research output per year
Research output per year
-
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
-
Counting QBF solutions at level two
Plank, A., Möhle, S. & Seidl, M., Jun 2024, In: Constraints. 29, 1-2, p. 22-39 18 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Enumerative Level-2 Solution Counting for Quantified Boolean Formulas
Plank, A., Möhle, S. & Seidl, M., Sept 2023, 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada. Roland H. C. Yap (ed.). Schloss Dagstuhl - Leibniz-Zentrum f\ur Informatik, Vol. 280. p. 49:1-49:10 10 p. 49. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 280).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
QMusExt: A Minimal (Un)satisfiable Core Extractor for Quantified Boolean Formulas
Plank, A. & Seidl, M., Aug 2023, 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 4-8, 2023, Alghero, Italy. Mahajan, M. & Slivovsky, F. (eds.). Schloss Dagstuhl - Leibniz-Zentrum f\ur Informatik, Vol. 271. p. 20:1-20:10 10 p. 20. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 271).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
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
-
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, ...
-
Solution Counts of Some Prominent Quantified Boolean Formulas Families
Plank, A. (Speaker)
02 Apr 2025Activity: 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, ...
-
Enumerative Level-2 Solution Counting for Quantified Boolean Formulas
Plank, A. (Speaker), Möhle, S. (Speaker) & Seidl, M. (Speaker)
29 Aug 2023Activity: Talk or presentation › Contributed talk › science-to-science
-
QMusExt: A Minimal (Un)satisfiable Core Extractor for Quantified Boolean Formulas
Plank, A. (Speaker) & Seidl, M. (Speaker)
08 Jul 2023Activity: Talk or presentation › Contributed talk › science-to-science