Approximation Strategies for Incomplete MaxSAT

Open in new window