New local search methods for partial MaxSAT

Shaowei Cai, Chuan Luo, Jinkun Lin, Kaile Su
一月 2016
PDF DOI
类型
会议文章
出版物
Artificial Intelligence
Conf