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. Improving performance of CDCL SAT solvers by automated design of variable selection heuristics. In 2017 IEEE Symposium Series on Computational Intelligence, SSCI 2017, Honolulu, HI, USA, November 27 - Dec. 1, 2017. pages 1-8, IEEE, 2017. [doi]
Abstract is missing.