Symbolisches Rechnen

Wintersemester 2019/2020

Im Wintersemester 2019/2020 wird die folgende Veranstaltung angeboten:

Vorlesung

SAT Solving und Anwendungen