Vortrag zum Thema: "Towards understanding the complexity of Decision DNNF representation of CNFs parameterized by the incidence treewidth"

Liebe Freunde der Theorie,

am Dienstag, 21.04.2026 spricht um 15:00 Uhr im Raum Z 2073 Dr. Igor Razgon zum Thema: "Towards understanding the complexity of Decision DNNF representation of CNFs parameterized by the incidence treewidth".

Eine Zusammenfassung zum Vortrag finden Sie hier. Alle Interessierten sind herzlich eingeladen.

 

Univ.-Prof. Dr. Christoph Berkholz                                                                     Ilmenau, 16.04.2026