@inproceedings{jz13:cup,
  title = "Tractable {V}alued {C}onstraints",
  author = "Peter G. Jeavons and Stanislav \v{Z}ivn\'y",
  year = "2013",
  booktitle = "{T}ractability: {P}ractical {A}pproaches to {H}ard {P}roblems",
  editor = "Lucas Bordeaux and Youssef Hamadi and Pushmeet Kohli",
  note = "This work is in copyright. The draft is for personal use only. No further distribution without permission.",
  publisher = "Cambridge University Press",
}