热点
"SAT求解器" 相关文章
Automatically discovering heuristics in a complex SAT solver with large language models
cs.AI updates on arXiv.org 2025-07-31T04:47:55.000000Z
SAT-Based Bounded Fitting for the Description Logic ALC
cs.AI updates on arXiv.org 2025-07-30T04:11:59.000000Z