A lightweight semi-centralized strategy for the massive parallelization of branching algorithms. - Andres Pastrana-Cruz; Manuel Lafond (Parallel Comput., 2023)