@INPROCEEDINGS{Satzilla09,
  AUTHOR =       {Lin Xu and Frank Hutter and Holger H. Hoos and Kevin Leyton-Brown},
  TITLE =        {SATzilla2009: An Automatic Algorithm Portfolio for SAT},
  BOOKTITLE =    {In Twelfth International Conference on Theory and Applications of Satisfiability Testing, SAT 2009 Competition: Solver Descriptions},
  YEAR =         {2009}
}