| 标题 |
Advancing stochastic 3-SAT solvers by dissipating oversatisfied constraints 相关领域
最大值和最小值
水准点(测量)
数学优化
计算机科学
不确定性算法
解算器
局部搜索(优化)
一般化
启发式
功能(生物学)
算法
数学
启发式
时间复杂性
钥匙(锁)
理论计算机科学
可满足性
样品(材料)
布尔可满足性问题
组合优化
随机过程
最优化问题
多项式的
|
| 网址 | |
| DOI | |
| 其它 |
期刊:Proceedings of the National Academy of Sciences of the United States of America 作者:Joachim Schwardt; J. C. Budich 出版日期:2025-06-18 |
| 求助人 | |
| 下载 | 该求助完结已超 24 小时,文件已从服务器自动删除,无法下载。 |
|
温馨提示:该文献已被科研通 学术中心 收录,前往查看
科研通『学术中心』是文献索引库,收集文献的基本信息(如标题、摘要、期刊、作者、被引量等),不提供下载功能。如需下载文献全文,请通过文献求助获取。
|
PDF的下载单位、IP信息已删除
(2025-6-4)