Pur
due University
P
rogramming
L
anguages Group
News
People
Research
Courses
Seminars
Github
Skip to main content
Learning SAT solver heuristics with Deep Reinforcement Learning in the style of Alpha(Go) Zero
Fei Wang
February 9, 2018
