Verbesserte lokale Suche für MaxSAT dank differenzieller Klauselgewichtung
Partial Maximum Satisfiability (PMS) und Weighted Partial Maximum Satisfiability (WPMS) erweitern das klassische MaxSAT-Problem und finden in vielen praktischen Anwendungen Einsatz. Neuere Fortschritte bei Stochastic Lo…