TY - JOUR AU - Liberti, Leo TI - Undecidability and hardness in mixed-integer nonlinear programming JO - RAIRO - Operations Research - Recherche Opérationnelle PY - 2019 SP - 81 EP - 109 VL - 53 IS - 1 PB - EDP-Sciences UR - http://archive.numdam.org/articles/10.1051/ro/2018036/ DO - 10.1051/ro/2018036 LA - en ID - RO_2019__53_1_81_0 ER -