New local search methods for partial MaxSAT
Cai, Shaowei, Luo, Chuan, Lin, Jinkun, Su, KaileLanguage:
english
Journal:
Artificial Intelligence
DOI:
10.1016/j.artint.2016.07.006
Date:
August, 2016
File:
PDF, 386 KB
english, 2016