On the Computational Properties of Obviously Strategy-Proof Mechanisms
arXiv:2101.05149
Abstract
We present a polynomial-time algorithm that determines, given some choice rule, whether there exists an obviously strategy-proof mechanism for that choice rule.
working paper. Updates: added results for anonymous choice rules