Project Details
| Status | Active |
|---|---|
| Effective start/end date | 01.03.2023 → 29.02.2028 |
Collaborative partners
- Johannes Kepler University Linz (lead)
- INRIA Institut National De Recherche en Informatique et en Automatique (Project partner)
- Sorbonne University (Project partner)
- RICAM, Johann Radon Institute for Computational and Applied Mathematics, ÖAW Austrian Academy of Science (Project partner)
Fields of science
- 101013 Mathematical logic
- 101001 Algebra
- 101 Mathematics
- 102031 Theoretical computer science
- 101005 Computer algebra
JKU Focus areas
- Digital Transformation
Research output
- 1 Conference proceedings
-
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). 1 ed. 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