@unpublished{Satzilla03,
 lAUTHOR =       {Eugene Nudelman and Kevin Leyton-Brown and Galen Andrew and Carla Gomes and Jim 
 McFadden and Bart Selman and Yoav Shoham},
 AUTHOR =       {E. Nudelman and K. Leyton-Brown and G. Andrew and C. Gomes and J. McFadden and B. 
 Selman and Y. Shoham},
 TITLE =        {{Satzilla} 0.9},
 year = {2003},
 note = {Solver description, {International SAT Competition}}
}