Pierre Prado wrote:

>Possible the "https://en.wikipedia.org/wiki/Travelling_salesman_problem" would be a classical "target" for resource theories? Am I correct?

The traveling salesman problem is reducible to Boolean satisfiability if my memory is correct.