Large Neighbourhood Search for Anytime MaxSAT Solving

Randy Hickey, Fahiem Bacchus