Large Neighbourhood Search for Anytime MaxSAT Solving.

Randy Hickey, Fahiem Bacchus

Browse the full IJCAI paper archive.