TY - RPRT TI - Algorithm Portfolio Design: Theory vs. Practice AU - Carla P. Gomes AU - Bart Selman PY - 2013 UR - https://arxiv.org/abs/1302.1541 ID - 1302.1541 ER -