机构

• 软件研究所 [6]
• 计算技术研究所 [5]
• 重庆绿色智能技术研究... [1]

采集方式

• OAI收割 [12]

内容类型

• 期刊论文 [8]
• 学位论文 [3]
• 会议论文 [1]

发表日期

• 2020 [1]
• 2010 [1]
• 2009 [1]
• 2008 [2]
• 2007 [1]
• 2006 [1]
• 更多

学科主题

• 人工智能::人工智能... [1]

筛选

浏览/检索结果: 共12条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 一种布尔公式的代数逻辑约化新方法 期刊论文  OAI收割 计算机科学, 2020, 卷号: 47, 期号: 5, 页码: 32 作者:  刘江;  周鸿昊   |  收藏  |  浏览/下载：20/0  |  提交时间：2020/08/24 NP complete problem  Boolean satisfiability problem  1-in-3-SAT  XCNF  X pure literal  NP完全问题  布尔可满足性问题  1-in-3-SAT  XCNF  X-纯文字   SAT和DSOLS问题的研究 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2010 卢闰明   |  收藏  |  浏览/下载：17/0  |  提交时间：2010/07/09 SAT  DSOLS  约束可满足性问题   无界模型检验中融合电路信息的SAT算法研究 期刊论文  OAI收割 计算机学报, 2009, 期号: 第6期, 页码: 1110—1118 作者:  李华伟;  赵阳;  李晓维;  吕涛   |  收藏  |  浏览/下载：20/0  |  提交时间：2010/10/18 设计验证  无界模型检验  Boolean可满足性问题(Sat)  寄存器传输级(Rtl)   动态描述逻辑的Tableau判定算法 期刊论文  OAI收割 计算机学报, 2008, 期号: 第6期, 页码: 896—909 作者:  常亮;  史忠植;  邱莉榕;  林芬   |  收藏  |  浏览/下载：15/0  |  提交时间：2010/10/19 动态描述逻辑  动作理论  可满足性问题  Tableau算法  可判定性   动态描述逻辑的Tableau判定算法 期刊论文  OAI收割 计算机学报, 2008, 卷号: 31.0, 期号: 006, 页码: 896 作者:  常亮;  史忠植;  邱莉榕;  林芬   |  收藏  |  浏览/下载：2/0  |  提交时间：2023/12/04 动态描述逻辑  动作理论  可满足性问题  Tableau算法  可判定性   结合ATPG和SAT的无界模型检验前像计算方法 期刊论文  OAI收割 计算机辅助设计与图形学学报, 2007, 卷号: 19, 期号: 3 作者:  刘领一;  李晓维;  李华伟;  吕涛;  赵阳   |  收藏  |  浏览/下载：18/0  |  提交时间：2010/11/22 形式验证  无界模型检验  前像计算  自动化测试激励生成  布尔可满足性问题   基于SAT的软件包依赖问题的研究 会议论文  OAI收割 中国科学院计算技术研究所第九届计算机科学与技术研究生学术讨论会, 青岛, 2006 顾昊; 倪惜珍   |  收藏  |  浏览/下载：6/0  |  提交时间：2011/07/28 软件包  布尔可满足问题  软件包管理  基于SAT   求解可满足问题的调查传播算法以及步长的影响规律 期刊论文  OAI收割 计算机学报, 2005, 期号: 第5期, 页码: 849—855 作者:  李晓维;  邵明;  李光辉   |  收藏  |  浏览/下载：17/0  |  提交时间：2010/11/01 可满足问题  因子图  调查传播算法  局部搜索算法  相变   由一阶逻辑公式得到命题逻辑可满足性问题实例 期刊论文  OAI收割 软件学报, 2005, 卷号: 16, 期号: 3, 页码: 327-335 黄拙; 张健   |  收藏  |  浏览/下载：10/0  |  提交时间：2010/08/11 可满足性问题  一阶逻辑  命题逻辑  satisfiabilityproblem  first-orderlogic  propositionallogic   Survey Propagation:一种求解SAT的高效算法 期刊论文  OAI收割 计算机科学, 2005, 卷号: 32, 期号: 1, 页码: 132-137 李韶华; 张健   |  收藏  |  浏览/下载：11/0  |  提交时间：2010/08/11 不完备搜索方法  可满足性问题  求解算法