Forschungsinstitut für Diskrete Mathematik
Programmierpraktikum Diskrete Optimierung (Modul P2C1)
Sommersemester 2023
Thema: SAT Solvers
Alle Informationen zu diesem Praktikum finden sich auf der
zugehörigen eCampus-Seite.
Prof. Dr.
B. Korte,
Prof. Dr.
J. Vygen,
Prof.
Dr. S. Hougardy,
Prof.
Dr. S. Held,
Jun.-Prof.
Dr. V. Traub,
Dr. U. Brenner