Certification of an optimal TSP tour through 85,900 cities
scientific article; zbMATH DE number 5509870