SATzilla: portfoliobased algorithm selection for SAT (2008)

by Lin Xu, Frank Hutter, Holger H Hoos, Kevin Leyton-Brown
Venue:Journal of Artificial Intelligence Research