Improving performance of CDCL SAT solvers by automated design of variable selection heuristics | IEEE Conference Publication | IEEE Xplore