TY  - RPRT
TI  - Improve SAT-solving with Machine Learning
AU  - Haoze Wu
PY  - 2017
DO  - 10.1145/3017680.3022464
UR  - https://arxiv.org/abs/1710.11204
ID  - 1710.11204
ER  -