Tractable valued constraints - Jeavons, P; Živný, S (2012)