| 标题 |
  Discovering heuristics in a complex SAT solver with large language models 相关领域
计算机科学
启发式
模块化设计
布尔可满足性问题
解算器
加速
航程（航空）
启发式
可满足性
理论计算机科学
计算复杂性理论
建模语言
模型检查
局部搜索（优化）
合取范式
可满足模理论
算法
命题演算
进化算法
最优化问题
语言模型
执行时间
最大可满足性问题
人工智能
搜索算法
基线（sea）
|
| 网址 | |
| DOI | |
| 求助人 | |
| 下载 | 该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。 |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
PDF的下载单位、IP信息已删除
(2025-6-4)
Enigma_GEB
DW
无极微光
秋风
Nole
七听
xing_xing
嘉心糖
我能私信骂你吗
cdercder
aajhajkahna
学术文献互助
果果123
Ziva
Jenna
Dean
OK
jin
婉宁
GingerF
皖公网安备34019202002308
