Unconstrained Binary Models of the Travelling Salesman Problem Variants for Quantum Optimization