Presentation on "Towards understanding the complexity of Decision DNNF representation of CNFs parameterized by the incidence treewidth"

Dear friends of theory,

on Tuesday, 04/21/2026 at 3:00 p.m. in room Z 2073 Dr. Igor Razgon will speak on the topic: "Towards understanding the complexity of Decision DNNF representation of CNFs parameterized by the incidence treewidth".

Further information on the lecture can be found here.

All interested parties are cordially invited.

 

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