Presentation on "Kompilierung von Homomorphismen als baumartiges decDNNF" (part 2)

Dear friends of theory,

on Tuesday, 12/16/2025 at 3:00 p.m. in room Z 2073 M. Sc. Hermann Wilhelm will speak on the topic: "Kompilierung von Homomorphismen als baumartiges decDNNF" (part 2). 

Further information on the lecture can be found here.

All interested parties are cordially invited.

 

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