SATzilla: Portfolio-based Algorithm Selection for SAT

Open in new window