Measuring similarity of graph nodes by neighbor matching
SATzilla: Portfolio-based Algorithm Selection for SAT