SATzilla: Portfolio-based Algorithm Selection for SAT

Cite this paper

@article{Xu2008SATzillaPA, title={SATzilla: Portfolio-based Algorithm Selection for SAT}, author={Lin Xu and Frank Hutter and Holger H. Hoos and Kevin Leyton-Brown}, journal={J. Artif. Intell. Res.}, year={2008}, volume={32}, pages={565-606} }