1. NuDist: An Efficient Local Search Algorithm for (Weighted) Partial MaxSAT. (15th August 2019) Authors: Lei, Zhendong; Cai, Shaowei Journal: Computer journal Issue: Volume 63:Number 9(2020) Page Start: 1321 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗