Publications

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.