Improving Performance of CDCL SAT Solvers by Automated Design of Variable Selection Heuristics
Illetskova, Marketa I.; Bertels, Alex R.; Tuggle, Joshua T.; Harter, Adam H.; Richter, Samuel N.; Tauritz, Daniel T.; Mulder, Samuel A.; Bueno, Denis B.; Leger, Michelle A.; Siever, William M.
Abstract not provided.