Finding exact hitting set solutions for systems biology applications using heterogeneous GPU clusters - Carastan Santos, Danilo; Camargo, Raphael Y; Martins Junior, David C; Song, Siang Wun; Rozante, Luiz Carlos da Silva (Future Generation Computer Systems, 2017)