SAT Solving in der Praxis

  • Typ: Vorlesung / Übung (VÜ)
  • Lehrstuhl: KIT-Fakultäten - KIT-Fakultät für Informatik - Institut für Theoretische Informatik - ITI Sinz
  • Semester: SS 2017
  • Ort:

    50.34 Raum 236, Mo 14:00 - 15:30

  • Zeit:

    Dienstag, 14.00 - 15.30 Uhr

  • Dozent: Dr. Tomas Balyo
    Prof. Dr. Carsten Sinz
  • SWS: 3
  • LVNr.: 2400085
VortragsspracheEnglisch