1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
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,…