@InProceedings{xu-satchallenge12a,
  author =	 {L. Xu and F. Hutter and J. Shen and H. Hoos and K. Leyton-Brown},
  title =	 {{SATzilla2012:} Improved Algorithm Selection Based on Cost-sensitive Classification Models},
  crossref = {satchallenge12},
  pages = 	 {57-58}
}

@Proceedings{satchallenge12,
  editor =	 {A. Balint and A. Belov and D. Diepold and S. Gerber and M. J{\"a}rvisalo and C. Sinz},
  title =	 {Proceedings of {SAT} Challenge 2012: Solver and Benchmark Descriptions},
  booktitle =	 {Proceedings of {SAT} Challenge 2012: Solver and Benchmark Descriptions},
  publisher =	 {University of Helsinki},
  year =	 2012,
  series =	 {Department of Computer Science Series of Publications B},
  volume =	 {B-2012-2},
  note =	 {Available at  \url{https://helda.helsinki.fi/handle/10138/34218}}
}