TY  - RPRT
TI  - Dealing With 4-Variables by Resolution: An Improved MaxSAT Algorithm
AU  - Jianer Chen
AU  - Chao Xu
PY  - 2015
UR  - https://arxiv.org/abs/1503.02920
ID  - 1503.02920
ER  -