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