Undecidability and hardness in mixed-integer nonlinear programmingLeo LibertiRAIRO-Oper. Res., 53 1 (2019) 81-109DOI: https://doi.org/10.1051/ro/2018036