Home | deutsch  | Legals | Sitemap | KIT

Übungen zur Vorlesung SAT Solving in der Praxis

Übungen zur Vorlesung SAT Solving in der Praxis
type: exercise
place:

Seminarraum 301 (Geb. 50.34)

time:

Do 14:00-15:30

start: 28.04.2016
lecturer:

T. Balyo, C. Sinz

sws: 1
lv-no.: 2400085