An algebraic theory of complexity for discrete optimisation - Cohen, D; Cooper, M; Creed, P; Jeavons, P; Živný, S (2013)