Kompressionstechniken für Beschreibungen von SAT Formeln

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

    Dominik Schreiber

  • Bearbeitung:

    Jens Manig