Generating Realistic SAT Instances (Sommersemester 2020)

Dozent: Prof. Dr. Tobias Friedrich (Algorithm Engineering) , Christopher Weyand (Algorithm Engineering)
Alle Informationen zu Inhalten, Leistungserfassung und Terminen finden Sie unter folgender Adresse:
Website zum Kurs: https://hpi.de/friedrich/teaching/ss20/gensat.html

Allgemeine Information

Semesterwochenstunden: 4
ECTS: 6
Benotet: Ja
Einschreibefrist: 06.04.2020 - 22.04.2020
Lehrform: Projekt / Seminar
Belegungsart: Wahlpflichtmodul
Lehrsprache: Englisch
Maximale Teilnehmerzahl: 5

Studiengänge, Modulgruppen & Module

IT-Systems Engineering MA

ISAE: Internet, Security & Algorithm Engineering
- HPI-ISAE-K Konzepte und Methoden
ISAE: Internet, Security & Algorithm Engineering
- HPI-ISAE-T Techniken und Werkzeuge
ISAE: Internet, Security & Algorithm Engineering
- HPI-ISAE-S Spezialisierung
IT-Systems Engineering
- HPI-ITSE-K Konstruktion

Data Engineering MA

Digital Health MA

Zurück