Hasso-Plattner-InstitutSDG am HPI
Hasso-Plattner-InstitutDSG am HPI
  
Login
 

Generating Realistic SAT Instances (Sommersemester 2020)

Lecturer: Prof. Dr. Tobias Friedrich (Algorithm Engineering) , Dr. Thomas Bläsius (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 & Modules

IT-Systems Engineering MA
  • ISAE-Konzepte und Methoden
  • ISAE-Techniken und Werkzeuge
  • ISAE-Spezialisierung
  • ITSE-Konstruktion
Data Engineering MA
Digital Health MA

Zurück