中文版 | English

在结果中检索

CSpace
（本次检索基于用户作品认领结果）

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

限定条件        
已选(0)清除 条数/页：   排序方式：
一种布尔公式的代数逻辑约化新方法 期刊论文
计算机科学, 2020, 卷号: 47, 期号: 5, 页码: 32
作者:  刘江;  周鸿昊
收藏  |  浏览/下载：42/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-纯文字  
Abstraction of elementary hybrid systems by variable transformation 会议论文
20th International Symposium on Formal Methods, FM 2015, Oslo, Norway, June 24, 2015 - June 26, 2015
作者:  Liu, Jiang;  Zhan, Naijun;  Zhao, Hengjun;  Zou, Liang
Adobe PDF(512Kb)  |  收藏  |  浏览/下载：53/0  |  提交时间：2018/03/16