1
Discovering heuristics in a complex SAT solver with large language models
大语言模型不再只是聊天，还能帮助复杂SAT求解器自动发掘高效启发式策略，开启AI辅助算法设计新范式。
arXiv:2507.22876v2 Announce Type: replace Abstract: The Satisfiability problem (SAT) is fundamental in computational complexity theory and has a wide …