Robuta

https://arxiv.org/abs/1602.08063
Abstract page for arXiv paper 1602.08063: Optimal Bounds for the No-Show Paradox via SAT Solving
no show paradoxoptimalboundsvia