Improving performance of CDCL SAT solvers by automated design of variable selection heuristics. - Marketa Illetskova; Alex R. Bertels; Joshua M. Tuggle; Adam Harter; Samuel Richter; Daniel R. Tauritz; Samuel A. Mulder; Denis Bueno; Michelle Leger; William M. Siever (SSCI, 2017)