%0 Journal Article %A Liberti, Leo %T Undecidability and hardness in mixed-integer nonlinear programming %J RAIRO - Operations Research - Recherche Opérationnelle %D 2019 %P 81-109 %V 53 %N 1 %I EDP-Sciences %U http://www.numdam.org/articles/10.1051/ro/2018036/ %R 10.1051/ro/2018036 %G en %F RO_2019__53_1_81_0