Knowledge Processing and Information Systems
Algorithm Configuration for Portfolio-based Parallel SAT-Solving

@inproceedings{TEMP:conf/ecai/HoosLSS12,
  title = {Algorithm Configuration for Portfolio-based Parallel {SAT}-Solving},
  author = {Hoos, H. and Leyton-Brown, K. and Schaub, T. and Schneider, M.},
  booktitle = {CoCoMile},
  year = {2012}
}