@inproceedings{CompleteCharacterization,
  title = "A complete characterization of complexity for Boolean constraint optimization problems",
  author = "David Cohen and Martin Cooper and Peter Jeavons",
  year = "2004",
  booktitle = "Proceedings of CP'04",
  number = "3258",
  pages = "212--226",
  series = "Lecture Notes in Computer Science",
  url = "http://www.comlab.ox.ac.uk/activities/constraints/publications/CP04vsatdichotomy.ps",
}