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