Automating SAT Solver Research

  • Typ: Praxis der Forschung
  • Zielgruppe: Master
  • Semester: Master
  • Ort:

    tba (Praxis der Forschung)

  • Zeit:

    tba (Praxis der Forschung)

  • Beginn: 18.10.2021
  • SWS: 16
  • ECTS: 24
  • Hinweis:

    Projektbeschreibung