@inproceedings{tz12:focs,
  title = "The power of linear programming for valued {C}{S}{P}s",
  author = "Johan Thapper and Stanislav \v{Z}ivn\'y",
  year = "2012",
  booktitle = "Proceedings of the 53rd Annual IEEE Symposium on Foundations of Computer Science (FOCS'12)",
  pages = "669--678",
  publisher = "IEEE",
  url = "http://zivny.cz/publications/tz12focs-preprint.pdf",
  doi = "10.1109/FOCS.2012.25",
}