KIT - Karlsruher Institut für Technologie
Institut für Theoretische Informatik, Algorithm Engineering
Navigation überspringen
Home
Impressum
Datenschutz
Barrierefreiheit
Sitemap
KIT
en
suchen
suchen
Aktuelles
Forschung
Veröffentlichungen
Studium und Lehre
Start
Studium und Lehre
Studium und Lehre
Lehrveranstaltungen
Abschlussarbeiten
Klausurergebnisse
Mitarbeiter
So finden Sie uns
Stellenangebote
Startseite
Home
Impressum
Datenschutz
Barrierefreiheit
Sitemap
suchen
suchen
Institut für Theoretische Informatik, Algorithm Engineering
Startseite
Studium und Lehre
Lehrveranstaltungen
Willkommen am Institut für Theoretische Informatik, Algorithm Engineering
Aktuelles
Forschung
Veröffentlichungen
Studium und Lehre
Mitarbeiter
So finden Sie uns
Stellenangebote
Studium und Lehre
Lehrveranstaltungen
Abschlussarbeiten
Klausurergebnisse
Lehrveranstaltungen
Automating SAT Solver Research
Typ:
Praxis der Forschung
Zielgruppe:
Master
Semester:
Master
Ort:
tba (Praxis der Forschung)
Zeit:
tba (Praxis der Forschung)
Beginn:
18.10.2021
SWS:
16
ECTS:
24
Hinweis:
Projektbeschreibung
Links
Praxis der Forschung (Hauptseite)