Automating SAT Solver Research

  • Type: Praxis der Forschung
  • Semester: Master
  • Start: 18.10.2021
  • SWS: 16
  • ECTS: 24
Links