40 citations · 61 across the 13 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.AI2017
Diversified Top-k Partial MaxSAT Solving
Junping Zhou, Huanyao Sun, Feifei Ma +3
We introduce a diversified top-k partial MaxSAT problem, a combination of partial MaxSAT problem and enumeration problem. Given a partial MaxSAT formula F and a positive integer k,…
cs.AI2017★ 40 cited
Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function
Yiyuan Wang, Shaowei Cai, Minghao Yin
The Minimum Weight Dominating Set (MWDS) problem is an important generalization of the Minimum Dominating Set (MDS) problem with extensive applications. This paper proposes a new l…