TY  - RPRT
TI  - From Gameplay to Symbolic Reasoning: Learning SAT Solver Heuristics in the Style of Alpha(Go) Zero
AU  - Fei Wang
AU  - Tiark Rompf
PY  - 2018
UR  - https://arxiv.org/abs/1802.05340
ID  - 1802.05340
ER  -