@INPROCEEDINGS{CP07-SATzilla,
    author = "Lin Xu and Frank Hutter and Holger H. Hoos and Kevin Leyton-Brown",
    title = "{SATzilla-07:} The Design and Analysis of an Algorithm Portfolio for {SAT}",
    booktitle = {Principles and Practice of Constraint Programming (CP-07)},
    series = {Lecture Notes in Computer Science 4741},
    publisher= {Springer Berlin},
    pages = {712–-727},
    year = "2007"
}