CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract). IJCAI 2017: 5030-5034

Chuan Luo, Shaowei Cai, Kaile Su, Wenxuan Huang
January 2017
PDF DOI
Type
Conference paper
Publication
IJCAI 2017
Conf