Direkt zum InhaltDirekt zur Navigation

Masterverteidigung Martin Finke

Was Masterverteidigung
Wer Martin Finke
13MI-M
Wann 27.01.2016
von 15:00 bis 16:10
Wo Z417
Termin übernehmen vCal
iCal

Thema:
Equisatisfiable SAT Encodings of Arithmetical Operations

Gutachter & Betreuer:
Johannes Waldmann, HTWK
Alexander Bau, HTWK

abgelegt unter:
Nachrichten RSS
Termine
JUG Saxony Camp 2017 an der HTWK 31.03.2017 09:00 - 18:00 — NIEPER-Bau der HTWK Leipzig
SKILL 2017 / Call for Papers 30.04.2017 - 30.09.2017