Geometric reasoning on the euclidean traveling salesperson problem in answer set programming1. - Bertagnon, Alessandro; Gavanelli, Marco (Intelligenza Artificiale, 2024)