New bounds and formulations for the deterministic global optimization of Lennard–Jones clusters - Kuznetsov, Anatoliy; Sahinidis, Nikolaos V. (Journal of global optimization, 2025)