VARIANTS

作品数：613被引量：1047H指数：14
导出分析报告
相关领域：医药卫生更多>>
相关作者：张启发谈移芳吴松顾先明谢金燕更多>>
相关机构：华南农业大学电子科技大学哈尔滨医科大学复旦大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划中国博士后科学基金北京市自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 主题=SOMEx
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Some variants of SAT and their properties
《Progress in Natural Science:Materials International》2002年第10期789-793,共5页ZHAO Yunlei and ZHU Hong(1. Department of Computer Science, Fudan University, Shanghai 200433, China 2. Department of Computer Science, City University of Hong Kong, Tat Chee Avenue, Kowloon, Hong Kong) 
Supported by the National Natural Science Foundation of China (Grant No. 69973013)
A new model for the well-known problem, the satisfiablility problem of boolean formula (SAT), is introduced. Based on this model, some variants of SAT and their properties are presented. Denote by NP the class of all ...
关键词：NP-COMPLETE Karp-reduction SAT ETH NPI SNP. 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部