Proteus: A Hierarchical Portfolio of Solvers and Transformations.

Barry Hurley, Lars Kotthoff, Yuri Malitsky, Barry O'Sullivan

Browse the full CPAIOR paper archive.