@inproceedings{brandt2016noshow,
  title = "Optimal Bounds for the No-Show Paradox via {SAT} Solving",
  author = "Brandt, Felix and Geist, Christian and Peters, Dominik",
  year = "2016",
  booktitle = "Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems, {AAMAS} 2016",
  pages = "314--322",
}