A formal proof of the Kepler conjecture T Hales, M Adams, G Bauer, TD Dang, J Harrison, H Le Truong, ... Forum of mathematics, Pi 5 (e2), 2017 | 353 | 2017 |

Surrogate‐based methods for black‐box optimization KK Vu, C d'Ambrosio, Y Hamadi, L Liberti International Transactions in Operational Research 24 (3), 393-424, 2017 | 140 | 2017 |

Random projections for linear programming K Vu, PL Poirion, L Liberti Mathematics of Operations Research 43 (4), 1051-1071 (2018), 2018 | 42* | 2018 |

New error measures and methods for realizing protein graphs from distance data C D’ambrosio, K Vu, C Lavor, L Liberti, N Maculan Discrete & Computational Geometry 57, 371-418, 2017 | 22* | 2017 |

Barvinok’s naive algorithm in distance geometry L Liberti, K Vu Operations Research Letters 46 (5), 476-481, 2018 | 12 | 2018 |

Random projections for quadratic programs C D’Ambrosio, L Liberti, PL Poirion, K Vu Mathematical Programming 183, 619-647 (2020), 2020 | 10 | 2020 |

Gaussian random projections for Euclidean membership problems K Vu, PL Poirion, L Liberti Discrete Applied Mathematics 253: 93-102 (2019), 2019 | 10 | 2019 |

Random projections for conic programs L Liberti, PL Poirion, K Vu Linear Algebra and its Applications 626, 204-220, 2021 | 8 | 2021 |

Random projections for quadratic programs over a Euclidean ball K Vu, PL Poirion, C D’Ambrosio, L Liberti Integer Programming and Combinatorial Optimization, IPCO 2019, pp 442-452, 2019 | 7 | 2019 |

Random projection for high-dimensional optimization VK Ky PhD Thesis, Ecole Polytechnique, Université Paris-Saclay, 2016 | 7 | 2016 |

A formal proof of the Kepler conjecture. Forum of Mathematics, Pi 5 (2017) T Hales, M Adams, G Bauer, TD Dang, J Harrison, LT Hoang, C Kaliszyk, ... URL: https://doi. org/10.1017/fmp, 2017 | 6 | 2017 |

Random projections for trust region subproblems K Vu, PL Poirion, C D'Ambrosio, L Liberti arXiv preprint arXiv:1706.02730, 2017 | 3 | 2017 |

Computational experience on Distance Geometry Problems C D’Ambrosio, VK Ky, C Lavor, L Liberti, N Maculan XII Global Optimization Workshop, 97-100, 2014 | 3 | 2014 |

A formal proof of the Kepler conjecture. CoRR (2015) TC Hales, M Adams, G Bauer, DT Dang, J Harrison, TL Hoang, C Kaliszyk, ... arXiv preprint arXiv:1501.02155, 0 | 3 | |

Fast approximate solution of large dense linear programs L Liberti, P Poirion, K Vu | 1 | 2016 |

Solving LP using random projections L Liberti, PL Poirion, K Vu Electronic Notes in Discrete Mathematics 55, 53-56, 2016 | 1 | 2016 |

Random projections for linear programming VK Ky, PL Poirion, L Liberti Optimization-online.org, 2017 | | 2017 |

Random projections for high-dimensional optimization problems K Vu 4OR - A Quarterly Journal of Operations Research 15 (3), 327-328, 2017 | | 2017 |

On an optimal constraint aggregation method for integer programming and on an analytic expression of the number of integer points in a polytope PL Poirion, VK Ky, L Liberti arXiv preprint arXiv:1605.08742, 2016 | | 2016 |

Projection aléatoire pour la programmation linéaire et la programmation linéaire en nombres entiers PL Poirion, VK Ky, L Liberti 17th conference ROADEF, French Society of Operations Research, 2016 | | 2016 |