中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共9条，第1-9条

帮助

条数/页：排序方式：
	一种布尔公式的代数逻辑约化新方法期刊论文 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 形式验证无界模型检验前像计算自动化测试激励生成布尔可满足性问题
	由一阶逻辑公式得到命题逻辑可满足性问题实例期刊论文 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 不完备搜索方法可满足性问题求解算法
	一阶逻辑模型搜索问题研究学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004 黄拙收藏 \| 浏览/下载：13/0 \| 提交时间：2011/03/17 可满足性问题一阶逻辑命题逻辑有限模型