中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共5条，第1-5条 帮助

已选(0)清除 条数/页：   排序方式：
云环境下网络感知的虚拟机分配问题的求解方法 期刊论文
吉林大学学报. 工学版, 2020, 卷号: 50, 期号: 4, 页码: 1455
作者:  吕帅;  徐玥;  张桐搏;  李广力;  池策
收藏  |  浏览/下载：34/0  |  提交时间：2023/12/04
computer software  virtual machine assignment  cloud computing  satisfiability  计算机软件  虚拟机分配  云计算  可满足性  
A computational framework for Karl Popper＇s logic of scientific discovery 期刊论文
中国科学：信息科学（英文版）, 2018, 卷号: 61.0, 期号: 004, 页码: 042101
作者:  Li Wei;  Sui Yuefei
收藏  |  浏览/下载：11/0  |  提交时间：2023/12/04
科学发现  计算框架  逻辑  卡尔  近似推理  可满足性  近似算法  修订  
基于SAT的快速电路时延计算 期刊论文
计算机辅助设计与图形学学报, 2011, 卷号: 23.0, 期号: 003, 页码: 480
作者:  何子键;  吕涛;  李华伟;  李晓维
收藏  |  浏览/下载：11/0  |  提交时间：2023/12/04
可满足性  电路时延  电路展开  
基于增量可满足性的等价性检验方法 期刊论文
计算机学报, 2004, 卷号: 27.0, 期号: 010, 页码: 1388
作者:  李光辉;  李晓维
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
增量可满足性  等价性检验  组合电路  形式验证  数字集成电路  等价结点  
一个适于形式验证的ATPG引擎 期刊论文
计算机研究与发展, 2004, 卷号: 41.0, 期号: 005, 页码: 886
作者:  李光辉;  邵明;  李晓维
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
组合电路  测试产生  形式验证  二叉判决图  布尔可满足性