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

Zhendong Lei, Shaowei Cai
一月 2020
PDF DOI
类型
会议文章
出版物
The Computer Journal
Conf