@misc{indiciae5502c3726a1b,
  title = {WalkSAT is linear on random 2-SAT},
  author = {Petra Berenbrink and Amin Coja-Oghlan and Colin Cooper and Thorsten Götte and Lukas Hintze and Pavel Zakharov},
  year = {2025},
  url = {https://arxiv.org/abs/2412.04156},
  note = {Source identifier: 2412.04156}
}