improving sat - solving with machine learning .
SATzilla: Portfolio-based Algorithm Selection for SAT