Kompressionstechniken für Beschreibungen von SAT Formeln

  • Forschungsthema:SAT Solving, Kompression
  • Typ:Bachelorarbeit
  • Datum:Dezember 2018
  • Betreuer:

    Dominik Schreiber

  • Bearbeiter:

    Jens Manig