Pruning the Search Space for the Snake-in-the-Box Problem. - J. D. Griffin; Walter D. Potter (IEA/AIE (3), 2010)