Classes of submodular constraints expressible by graph cuts - Zivny, S; Jeavons, P (2010)