Data Mining-Assisted Parameter Tuning of a Search Algorithm. IJCAI 2015, 39 (2).