Classes of Submodular Constraints Expressible by Graph Cuts - Živný, S; Jeavons, P (2010)