Generating Realistic SAT Instances (Sommersemester 2020)

Lecturer: Prof. Dr. Tobias Friedrich (Algorithm Engineering) , Christopher Weyand (Algorithm Engineering)
Further information on contents, examination and dates are available here:
Course Website: https://hpi.de/en/friedrich/teaching/ss20/gensat.html

General Information

Weekly Hours: 4
Credits: 6
Graded: yes
Enrolment Deadline: 06.04.2020 - 22.04.2020
Teaching Form: Project / Seminar
Enrolment Type: Compulsory Elective Module
Course Language: English
Maximum number of participants: 5

Programs, Module Groups & Modules

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