Efficient Algorithms for Guessing, Inequalities, and Summation

Kauers, Manuel (Projektleiter*in)

Institut für Algebra

Projekt: Geförderte Forschung › FWF - Österreichischer Wissenschaftsfonds

Status	Laufend
Tatsächliches Beginn-/Enddatum	01.03.2023 → 29.02.2028

Projektbeteiligte

Johannes Kepler Universität Linz (Leitung)
INRIA Institut National De Recherche en Informatique et en Automatique (Projektpartner*in)
Sorbonne Université (Projektpartner*in)
RICAM, Johann Radon Institute for Computational and Applied Mathematics, ÖAW Austrian Academy of Science (Projektpartner*in)

Wissenschaftszweige

101013 Mathematische Logik
101001 Algebra
101 Mathematik
102031 Theoretische Informatik
101005 Computeralgebra

JKU-Schwerpunkte

Digital Transformation

1 Konferenzbeitrag

Solution Counts of Some Prominent Quantified Boolean Formulas Families
Plank, A., Kauers, M. & Seidl, M., 14 Mai 2025, Proceedings of ACM SAC Conference (SAC’25). 1 Aufl. New York, S. 1035-1042 8 S. (Proceedings of the ACM Symposium on Applied Computing).
Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

Open Access