algorithm selection for combinatorial search problems a survey