Optimal Bounds for the No-Show Paradox via SAT Solving.

Felix Brandt Christian Geist Dominik Peters

Published in: CoRR (2016)

Keyphrases

sat solving
worst case
sat solvers
dynamic programming
upper bound
lower bound
optimal solution
search algorithm
orders of magnitude