SATzilla Challenge

Award Date
Organization
SAT Challenge
Award Recipient(s)
Frank Hutter
Holger H. Hoos
Jonathan Shen
Kevin Leyton-Brown
Lin Xu

SATzilla, a portfolio-based algorithm selector for SAT has led the field in the 2012 SAT Challenge, placing 1st in 2 of the 3 main tracks, 2nd in the 3rd main track, and 1st in the sequential portfolio track.