TY  - RPRT
TI  - WalkSAT is linear on random 2-SAT
AU  - Petra Berenbrink
AU  - Amin Coja-Oghlan
AU  - Colin Cooper
AU  - Thorsten Götte
AU  - Lukas Hintze
AU  - Pavel Zakharov
PY  - 2025
UR  - https://arxiv.org/abs/2412.04156
ID  - 2412.04156
ER  -