CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract).

Chuan Luo, Shaowei Cai, Kaile Su, Wenxuan Huang

Browse the full IJCAI paper archive.