Empirische kumulative Verteilungsfunktionen ermöglichen eine umfassende Analyse der Leistung von MaxSAT Local Search Solvern.
