@misc{indiciaefe3757930669,
  title = {Searching for Falsified Clause in Random (log n)-CNFs is Hard for Randomized Communication},
  author = {Artur Riazanov and Anastasia Sofronova and Dmitry Sokolov and Weiqiang Yuan},
  year = {2025},
  url = {https://arxiv.org/abs/2507.12124},
  note = {Source identifier: 2507.12124}
}