Tailoring Local Search for Partial MaxSAT

Open in new window