@techreport{RR-04-01, title = "Supermodular Functions and the Complexity of MAX CSP", author = "David Cohen and Martin Cooper and Peter Jeavons and Andrei Krokhin", year = "2004", institution = "Oxford University Computing Laboratory", month = "January", number = "RR-04-01", }