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