TY  - RPRT
TI  - Tight Variable-Occurrence Bounds and Exponential Separations for Moser--Tardos and WalkSAT on 3-CNF
AU  - Minbo Gao
AU  - Kun He
AU  - Tao Jiang
PY  - 2026
UR  - https://arxiv.org/abs/2611.09335
ID  - 2611.09335
ER  -