Sun, Y., Ye, F., Chen, Z., Wei, K., Cai, S. (2026). Discovering heuristics in a complex SAT solver with large language models. Nature Communications. https://doi.org/10.1038/s41467-026-74949-2