More about SATzilla:
Our papers about SATzilla:
- SATzilla2009: an Automatic Algorithm Portfolio for SAT
. L. Xu, F. Hutter, H. H. Hoos, K. Leyton-Brown - SAT
Competition 2009, SAT Competition 2009, 2009. [PDF]
- SATzilla: Portfolio-based Algorithm Selection for
SAT. L. Xu, F. Hutter, H. H. Hoos, K. Leyton-Brown - Journal
of Artificial Intelligence Research, Volume 32, pp. 565–606, 2008.
[PDF]
- SATzilla2008: an Automatic Algorithm Portfolio for
SAT. L. Xu, F. Hutter, H. H. Hoos, K. Leyton-Brown - SAT RACE
2008, solver description, 2008. [PDF]
- SATzilla-07: The Design and Analysis of an Algorithm
Portfolio for SAT. L. Xu, F. Hutter, H. H. Hoos and K.
Leyton-Brown - Proceedings of the 13th International Conference on
Principles and Practice of Constraint Programming (CP-07), pp. 712-727,
2007. [PDF]
- SATzilla2007: a New & Improved Algorithm Portfolio for
SAT. L. Xu, F. Hutter, H. H. Hoos, K. Leyton-Brown - SAT
Competition 2007, solver description, 2007. [PDF]
- SATzilla: An Algorithm Portfolio for SAT. E.
Nudelman, A. Devkar, Y. Shoham, K. Leyton-Brown, H. Hoos. - SAT competition
2004, solver description, 2004. [PDF]
The instances used for training SATzilla:
- 2002 SAT Competition Data (ALL
link from SAT competition site)
- 2003 SAT Competition Data (ALL
link from SAT competition site)
- 2004 SAT Competition Data (RANDOM,
HANDMADE,
INDUSTRIAL
link from SAT competition site)
- 2005 SAT Competition Data (RANDOM,
HANDMADE,
INDUSTRIAL
link from SAT competition site)
- 2006 SAT RACE Data (TEST1, TEST2, COMPETITION
DATA link from SAT RACE)
- 2007 SAT Competition Data (RANDOM, HANDMADE, INDUSTRIAL
link from SAT competition site)
- 2008 SAT RACE Data (TEST1,
TEST2,
COMPETITION
DATA link from SAT RACE)
Feature and runtime data for training SATzilla2009
Useful codes