Hasso-Plattner-Institut25 Jahre HPI
Hasso-Plattner-Institut25 Jahre HPI
Login
 

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