Linglong Dai. Nonexistence of a Universal Algorithm for Traveling Salesman Problems in Constructive Mathematics. In Kohei Arai, editor, Intelligent Computing - Proceedings of the 2022 Computing Conference, Volume 1, SAI 2022, Virtual Event, 14-15 July 2022. Volume 506 of Lecture Notes in Networks and Systems, pages 889-895, Springer, 2022. [doi]
Abstract is missing.