SATzilla: Portfolio-based Algorithm Selection for SAT

Lizhong Xu(Hohai University), Kevin Leyton‐Brown(University of British Columbia), Holger H. Hoos(Leiden University), Frank Hutter(University of Freiburg)
Journal of Artificial Intelligence Research
July 1, 2008
Cited by 835


Related Papers

– Ant System
|Future Generation Computer Systems|2000|2.7k
A survey on semi-supervised learning
|Machine Learning|2019|2.6k
Automated Machine Learning
|˜The œSpringer series on challenges in machine learning|2019|1.4k
Auto-WEKA
|Unknown|2013|1.3k