Machine Learning-Based Restart Policy for CDCL SAT Solvers. - Jia Hui Liang; Chanseok Oh; Minu Mathew; Ciza Thomas; Chunxiao Li 002; Vijay Ganesh 001 (SAT, 2018)