TY  - RPRT
TI  - Approximating the Backbone in the Weighted Maximum Satisfiability Problem
AU  - He Jiang
AU  - Jifeng Xuan
AU  - Yan Hu
PY  - 2017
UR  - https://arxiv.org/abs/1704.04775
ID  - 1704.04775
ER  -