TY  - RPRT
TI  - Machine Learning Methods in Solving the Boolean Satisfiability Problem
AU  - Wenxuan Guo
AU  - Junchi Yan
AU  - Hui-Ling Zhen
AU  - Xijun Li
AU  - Mingxuan Yuan
AU  - Yaohui Jin
PY  - 2022
DO  - 10.1007/s11633-022-1396-2
UR  - https://arxiv.org/abs/2203.04755
ID  - 2203.04755
ER  -