SARRIGUREN: a polynomial-time complete algorithm for random k-SAT with relatively dense clauses. - Alfredo Goñi Sarriguren (CoRR, 2024)