| CARVIEW |
Select Language
HTTP/2 200
expires: Thu, 19 Nov 1981 08:52:00 GMT
cache-control: no-store, no-cache, must-revalidate
pragma: no-cache
set-cookie: PHPSESSID=55hh6m63uu4j0lkoot45fp20tp; path=/; secure; HttpOnly
vary: Accept-Encoding
content-encoding: gzip
x-content-type-options: nosniff
reporting-endpoints: csp-report="/global-cgi-bin/csp-report"
content-security-policy-report-only: frame-ancestors 'self' https://*.kit.edu; report-uri /global-cgi-bin/csp-report; report-to csp-report
strict-transport-security: max-age=31556952
content-length: 8578
content-type: text/html; charset=UTF-8
date: Wed, 14 Jan 2026 20:08:23 GMT
server: Apache
KIT – ITI Algorithm Engineering – Studium und Lehre - Lehrveranstaltungen - SAT Solving in der Praxis
SAT Solving in der Praxis
- Typ: Vorlesung / Übung (VÜ)
-
Ort:
Geb. 50.34 Raum 301
Ausnahme: 17.04.2023 einmalig in Raum -118 -
Zeit:
Montag 15:45 - 17:15
Dienstag 14-täglich ab 25.04.2023, 15:45 - 17:15 -
Dozent:
Prof. Dr. Peter Sanders
Dr. Markus Iser
Dominik Schreiber
Dr. Tomas Balyo - SWS: 3
- LVNr.: 2400115
Links