Satzilla: Portfolio-based algorithm selection for sat (0)

by L Xu, F Hutter, H Hoos, K Leyton-Brown
Venue:Journal of Artificial Intelligence Research