@INPROCEEDINGS{Satzilla,
  AUTHOR =       {Eugene Nudelman and Kevin Leyton-Brown and Alex Devkar and Yoav Shoham and Holger Hoos},
  TITLE =        {SATzilla: An Algorithm Portfolio for SAT},
  BOOKTITLE =    {In Seventh International Conference on Theory and Applications of Satisfiability Testing, SAT 2004 Competition: Solver Descriptions},
  PAGES =        {13--14},
  YEAR =         {2004}
}