TY - RPRT TI - ICON Challenge on Algorithm Selection AU - Lars Kotthoff PY - 2015 UR - https://arxiv.org/abs/1511.04326 ID - 1511.04326 ER -