: The Design and Analysis of an Algorithm Portfolio for SAT.

Lin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown

Browse the full CP paper archive.