@inproceedings{cpaior2014proteus,
  author    = {Barry Hurley and
               Lars Kotthoff and
               Yuri Malitsky and
               Barry O'Sullivan},
  title     = {{Proteus: A Hierarchical Portfolio of Solvers and Transformations}},
  booktitle   = {Integration of AI and OR Techniques in Constraint Programming
               for Combinatorial Optimization Problems, 11th International
               Conference, CPAIOR 2014},
  pages     = {301-317},
  year      = {2014},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science}
}