TY  - RPRT
TI  - SARRIGUREN: a polynomial-time complete algorithm for random $k$-SAT with relatively dense clauses
AU  - Alfredo Goñi Sarriguren
PY  - 2025
UR  - https://arxiv.org/abs/2401.09234
ID  - 2401.09234
ER  -