@article{cccjz13:sicomp, title = "An algebraic theory of complexity for discrete optimisation", author = "David A. Cohen and Martin C. Cooper and P\'aid\'i Creed and Peter Jeavons and Stanislav \v{Z}ivn\'y", year = "2013", journal = "SIAM Journal on Computing", number = "5", pages = "1915-1939", url = "http://zivny.cz/publications/cccjz13sicomp-preprint.pdf", volume = "42", doi = "10.1137/130906398", }