@INPROCEEDINGS{satzilla, AUTHOR = {E. Nudelman and A. Devkar and Y. Shoham and K. Leyton-Brown and H. Hoos}, TITLE = {SATzilla: An Algorithm Portfolio for SAT}, booktitle = {Proceedings of {SAT} 2004}, YEAR={2004}, }