Optimal Bounds for the No-Show Paradox via SAT Solving

Felix Brandt, Christian Geist, Dominik Peters. Optimal Bounds for the No-Show Paradox via SAT Solving. In Catholijn M. Jonker, Stacy Marsella, John Thangarajah, Karl Tuyls, editors, Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, Singapore, May 9-13, 2016. pages 314-322, ACM, 2016. [doi]

Abstract

Abstract is missing.