11. Vorlesung (10.01.2020): MaxSat durch randomisiertes Runden
Aggregazione dei criteri
Per visualizzare il file, fai click su questo link: approx-ws19-vl11-maxsat-randomisiertes-runden.pdf