Farsighted Probabilistic Sampling based Local Search for (Weighted) Partial MaxSAT

Open in new window