@article { godgoupes2010, author = "Godinho, Maria and Gouveia, Lus and Pesneau, Pierre", title = "Hop-indexed Circuit-based formulations for the Traveling Salesman Problem", year = "2010" }