Satzilla-07: The design and analysis of an algorithm portfolio for SAT (2007)

by Lin Xu , Frank Hutter , Holger H. Hoos , Kevin Leyton-brown
Venue:In Thirteenth Internatioal Conference on Principles and Practice of Constraint Programming (CP’07
Citations:43 - 6 self