L O ] 2 0 Ju l 2 01 8 Learning Heuristics for Automated Reasoning through Deep Reinforcement Learning
An Extensible SAT-solver