Papers
Communities
Organizations
Events
Blog
Pricing
Feedback
Contact Sales
Search
Open menu
Home
Papers
2507.22876
Cited By
Automatically discovering heuristics in a complex SAT solver with large language models
30 July 2025
Yiwen Sun
Furong Ye
Zhihan Chen
Ke Wei
Shaowei Cai
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Automatically discovering heuristics in a complex SAT solver with large language models"
1 / 1 papers shown
Title
Autonomous Code Evolution Meets NP-Completeness
Cunxi Yu
Rongjian Liang
Chia-Tung Ho
Haoxing Ren
ELM
8
0
0
09 Sep 2025
1
