Algorithms for Hamiltonian Paths in Kneser Graphs - Gusmão, Andreia; Bueno, Letícia; Hausen, Rodrigo (Anais do Concurso de Teses e Dissertações da SBC (CTD-SBC), 2014)