TY  - RPRT
TI  - SATzilla: Portfolio-based Algorithm Selection for SAT
AU  - Lin Xu
AU  - Frank Hutter
AU  - Holger H. Hoos
AU  - Kevin Leyton-Brown
PY  - 2011
DO  - 10.1613/jair.2490
UR  - https://arxiv.org/abs/1111.2249
ID  - 1111.2249
ER  -