@article{RO_2019__53_1_81_0, author = {Liberti, Leo}, title = {Undecidability and hardness in mixed-integer nonlinear programming}, journal = {RAIRO - Operations Research - Recherche Op\'erationnelle}, pages = {81--109}, publisher = {EDP-Sciences}, volume = {53}, number = {1}, year = {2019}, doi = {10.1051/ro/2018036}, zbl = {1414.90237}, mrnumber = {3904273}, language = {en}, url = {http://www.numdam.org/articles/10.1051/ro/2018036/} }