Evaluating component solver contributions to portfolio-based algorithm selectors. (2012)

by Lin Xu, Frank Hutter, Holger Hoos, Kevin Leyton-Brown
Venue:In SAT2012,