They are based on the concept of eliminating subtours (cycles), cuts (disconnections) or requiring intervertex flows (paths).
in practice these formulations cause long solve times -as the first two meth- ods yield an exponential number of constraints.