IJCAII-JAIR Best Paper Award Award Date December 2010 Organization JAIR Award Recipient(s) Frank Hutter Holger H. Hoos Kevin Leyton-Brown Lin Xu Paper: SATzilla-07: The Design and Analysis of an Algorithm Portfolio for SAT