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: | 8 - 5 self |
BibTeX
@INPROCEEDINGS{Xu09satzilla2009:an,
author = {Lin Xu and Frank Hutter and Holger H. Hoos and Kevin Leyton-brown},
title = {SATzilla2009: An automatic algorithm portfolio for SAT. Solver description},
booktitle = {2009 SAT Competition},
year = {2009}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Empirical studies often observe that the performance of algorithms across problem domains can be quite uncorrelated. When this occurs, it seems practical to investigate the use of algorithm portfolios that draw on the strengths
