Tractable triangles and cross−free convexity in discrete optimisation - Cooper, M; Živný, S (Journal of Artificial Intelligence Research, 2012)