The expressive power of binary submodular functions - ivný, S; Cohen, D; Jeavons, P (2009)