@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://archive.numdam.org/articles/10.1051/ro/2018036/}
}