NuDist: An Efficient Local Search Algorithm for (Weighted) Partial MaxSAT Comput. J. 63(9): 1321-1337 (2020)

Zhendong Lei, Shaowei Cai
January 2020
PDF DOI
Type
Conference paper
Publication
The Computer Journal
Conf