Woeginger, Gerhard J. - In: 4OR 19 (2021) 2, pp. 157-181
We survey optimization problems that allow natural simple formulations with one existential and one universal quantifier. We summarize the theoretical background from computational complexity theory, and we present a multitude of illustrating examples. We discuss the connections to robust...