Нажмите на ссылку approx-ws19-vl11-maxsat-randomisiertes-runden-print.pdf, чтобы просмотреть файл.