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

Zhendong Lei, Shaowei Cai
一月 2018
PDF DOI
类型
会议文章
出版物
IJCAI2018
Conf