Improving performance of CDCL SAT solvers by automated design of variable selection heuristics

Created by W.Langdon from gp-bibliography.bib Revision:1.8028

@InProceedings{Illetskova:2017:ieeeSSCI,
}

Genetic Programming entries for 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

Citations