New local search methods for partial MaxSAT

Shaowei Cai, Chuan Luo, Jinkun Lin, Kaile Su
January 2016
PDF DOI
Type
Conference paper
Publication
Artificial Intelligence
Conf