@article{Zivny09:dam, title = "The expressive power of binary submodular functions", author = "Stanislav \v{Z}ivn\'y and David A. Cohen and Peter G. Jeavons", year = "2009", journal = "Discrete Applied Mathematics", number = "15", pages = "3347--3358", url = "http://zivny.cz/publications/zcj09dam-preprint.pdf", volume = "157", doi = "10.1016/j.dam.2009.07.001", }