@misc{indiciae29ac017c3de0,
  title = {Discovering heuristics in a complex SAT solver with large language models},
  author = {Yiwen Sun and Furong Ye and Zhihan Chen and Ke Wei and Shaowei Cai},
  year = {2026},
  url = {https://arxiv.org/abs/2507.22876},
  note = {Source identifier: 2507.22876}
}