TY  - RPRT
TI  - Diversified Top-k Partial MaxSAT Solving
AU  - Junping Zhou
AU  - Huanyao Sun
AU  - Feifei Ma
AU  - Jian Gao
AU  - Ke Xu
AU  - Minghao Yin
PY  - 2017
UR  - https://arxiv.org/abs/1706.00123
ID  - 1706.00123
ER  -