SATzilla2009: An automatic algorithm portfolio for SAT. Solver description (2009)

by Lin Xu , Frank Hutter , Holger H. Hoos , Kevin Leyton-brown
Venue:2009 SAT Competition
Citations:13 - 7 self