绑定机构
扫描成功 请在APP上操作
打开万方数据APP,点击右上角"扫一扫",扫描二维码即可将您登录的个人账号与机构账号绑定,绑定后您可在APP上享有机构权限,如需更换机构账号,可到个人中心解绑。
欢迎的朋友
检索详情页
首页 > 学位首页  > SAT和CSP的相变现明研究
添加标签
×
已添加(0/5):

推荐标签:

摘要: 可满足性问题(the satisfiability prblem,简称SAT)是计算机科学的中心问题之一,相变现象则是SAT问题的一个重要特性.该文首先总结了有关SAT相变现象的研究进展.针对以往的研究者大多是从解的个数出发对SAT相变进行研究,该文分析了解的结构随r(子句数/变量数)的变化情况.根据所引入的结构参数,如主相似度和主距离等,证明了对于随机k-...   查看全部>>

相关论文(与本文研究主题相同或者相近的论文)
同项目论文(和本文同属于一个基金项目成果的论文)
我的标签
您可以为文献添加知识标签,方便您在书案中进行分类、查找、关联
请输入添加的标签
公   告

北京万方数据股份有限公司在天猫、京东开具唯一官方授权的直营店铺:

1、天猫--万方数据教育专营店

2、京东--万方数据官方旗舰店

敬请广大用户关注、支持!查看详情

手机版

万方数据知识服务平台 扫码关注微信公众号

万方选题

学术圈
实名学术社交
订阅
收藏
快速查看收藏过的文献
客服
服务
回到
顶部