no code implementations • 31 May 2017 • Junping Zhou, Huanyao Sun, Feifei Ma, Jian Gao, Ke Xu, Minghao Yin
We introduce a diversified top-k partial MaxSAT problem, a combination of partial MaxSAT problem and enumeration problem.
no code implementations • 11 Sep 2013 • Junping Zhou, Weihua Su, Minghao Yin
This allows us to directly plug the marginal probabilities into the partition function and efficiently count the number of solutions for CSP.