Forschungsinstitut für Diskrete Mathematik
Programmierpraktikum Diskrete Optimierung (Modul P2C1)
Sommersemester 2023
Thema: SAT Solvers
Vorbesprechung:
Dienstag, den 31. Januar 2023, um 16 Uhr c.t.
im Gerhard-Konow-Hörsaal, Lennéstr. 2
Studentinnen und Studenten, die Interesse an einer Seminarteilnahme haben,
aber nicht an der Vorbesprechung zu dieser Veranstaltung teilnehmen
können, werden gebeten, sich vorab mit
Ulrich Brenner,
brenner (at) or.uni-bonn.de,
Tel. 0228 / 73 87 49
in Verbindung zu setzen.
Prof. Dr.
B. Korte,
Prof. Dr.
J. Vygen,
Prof.
Dr. S. Hougardy,
Prof.
Dr. S. Held,
Jun.-Prof.
Dr. V. Traub,
Dr. U. Brenner