Solving (Weighted) Partial MaxSAT by Dynamic Local Search for SAT 1346-1352

Zhendong Lei, Shaowei Cai
January 2018
PDF DOI
Type
Conference paper
Publication
IJCAI2018
Conf