Constructive Decomposition of Matrix Multiplication Tensors

Kauers, Manuel (Projektleiter*in)

Institut für Algebra

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

Status	Laufend
Tatsächliches Beginn-/Enddatum	01.09.2024 → 31.08.2028

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