a preliminary evaluation of machine learning in algorithm selection for search problems .
SATzilla: Portfolio-based Algorithm Selection for SAT