Cárdenas, Algorithmic Analysis (2022)