Barry Hurley 0001, Lars Kotthoff, Yuri Malitsky, Barry O'Sullivan. Proteus: A Hierarchical Portfolio of Solvers and Transformations. In Helmut Simonis, editor, Integration of AI and OR Techniques in Constraint Programming - 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014. Proceedings. Volume 8451 of Lecture Notes in Computer Science, pages 301-317, Springer, 2014. [doi]
Abstract is missing.