SATzilla: Portfolio-based Algorithm Selection for SATLizhong Xu, Kevin Leyton‐Brown, Holger H. Hoos et al.|Journal of Artificial Intelligence Research|2008Cited by 835