IJCAII-JAIR Best Paper Award Award DateDecember 2010OrganizationJAIRAward Recipient(s)Frank HutterHolger H. HoosKevin Leyton-BrownLin XuPaper: SATzilla-07: The Design and Analysis of an Algorithm Portfolio for SAT