Klicke auf den Link 'approx-ws19-vl11-maxsat-randomisiertes-runden-print.pdf', um die Datei anzuzeigen.