All Stories

  1. Geometric reasoning on the Euclidean traveling salesperson problem in Answer Set Programming