Home | english  | Impressum | Datenschutz | Sitemap | KIT

Kompressionstechniken für Beschreibungen von SAT Formeln

Kompressionstechniken für Beschreibungen von SAT Formeln
Forschungsthema:SAT Solving, Kompression
Typ:Bachelorarbeit
Datum:Dezember 2018
Betreuer:

Dominik Schreiber

Bearbeiter:

Jens Manig

Links:Thesis