SATzilla Challenge
Award Date
Organization
Award Recipient(s)
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.