Home | deutsch  | Legals | Sitemap | KIT

SAT Solving in der Praxis

SAT Solving in der Praxis
type: lecture links:
place:

Seminarraum 236 (Geb. 50.34)

time:

Mo 14:00-15:30

start: 18.04.2016
lecturer:

T. Balyo, C. Sinz

sws: 3 (2 Vorlesung, 1 Übung)
ects: 5
lv-no.: 2400085
exam:

mündlich (Termine: 25.07.2016 und 19.09.2016)