TY  - RPRT
TI  - A Better Analysis For PPSZ For 3-SAT
AU  - Tao Jiang
AU  - Shaowei Cai
PY  - 2026
UR  - https://arxiv.org/abs/2607.10697
ID  - 2607.10697
ER  -