Cohen, D.; Cooper, M.; Jeavons, P.; Zivny, S. Binarisation via Dualisation for Valued Constraints. AAAI 2015, 29.