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