Vortrag zum Thema: "Kompilierung von Homomorphismen als baumartiges decDNNF" (Teil 2)

Liebe Freunde der Theorie,

am Dienstag, 16.12.2025 spricht um 15:00 Uhr im Raum Z 2073 M. Sc. Hermann Wilhelm zum Thema: "Kompilierung von Homomorphismen als baumartiges decDNNF" (Teil 2).

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

 

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