Clique na hiperligação approx-ws19-vl11-maxsat-randomisiertes-runden-print.pdf para ver o ficheiro.