会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
海阔凭鱼跃越
博客园
首页
新随笔
联系
管理
订阅
2024年1月25日
cnf结构探索与应用的文献-归入cmt标签
摘要: 最新的概述文献: On the Structure of the Boolean Satisfiability Problem: A Survey 对基于底层结构SAT相关技术进行了详细的介绍,相关引用文献十分完善,可以作为关于结构方面的检索手册使用。 @inproceedings{DBLP:con
阅读全文
posted @ 2024-01-25 11:44 海阔凭鱼跃越
阅读(7)
评论(0)
推荐(0)
编辑
公告