Algorithm Runtime Prediction : Methods & Evaluation ( Extended
SATzilla: Portfolio-based Algorithm Selection for SAT