TY - RPRT TI - Symmetric Rule-Based Achlioptas Processes for Random $k$-SAT AU - Arnab Chatterjee PY - 2025 UR - https://arxiv.org/abs/2510.07870 ID - 2510.07870 ER -