Undecidability and hardness in mixed-integer nonlinear programming Leo Liberti RAIRO-Oper. Res., 53 1 (2019) 81-109 Published online: 31 January 2019 DOI: 10.1051/ro/2018036