SATzilla Challenge

Award Date
Award Recipient(s)
Frank Hutter
Jonathan Shen
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.