SATzilla: Portfolio-based Algorithm Selection for SAT

Download PDF
Open Webpage

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

Published: 2008, Last Modified: 16 May 2025J. Artif. Intell. Res. 2008EveryoneRevisionsBibTeXCC BY-SA 4.0