Klicka på länken approx-ws19-vl11-maxsat-randomisiertes-runden-print.pdf för att visa filen.