An intractability result for the vertex 3-colourability problem. - Dmitriy S. Malyshev; O. V. Pristavchenko (Optim. Lett., 2022)