TY  - RPRT
TI  - Improving probability selecting based weights for Satisfiability Problem
AU  - Huimin Fu
AU  - Yang Xu
AU  - Jun Liu
AU  - Guanfeng Wu
AU  - Sutcliffe Geoff
PY  - 2020
UR  - https://arxiv.org/abs/2007.15185
ID  - 2007.15185
ER  -