@misc{indiciae2cda0b9a6224,
  title = {From Gameplay to Symbolic Reasoning: Learning SAT Solver Heuristics in the Style of Alpha(Go) Zero},
  author = {Fei Wang and Tiark Rompf},
  year = {2018},
  url = {https://arxiv.org/abs/1802.05340},
  note = {Source identifier: 1802.05340}
}