TY  - RPRT
TI  - Discovering heuristics in a complex SAT solver with large language models
AU  - Yiwen Sun
AU  - Furong Ye
AU  - Zhihan Chen
AU  - Ke Wei
AU  - Shaowei Cai
PY  - 2026
UR  - https://arxiv.org/abs/2507.22876
ID  - 2507.22876
ER  -