国家自然科学基金(19771045)

作品数：4被引量：2H指数：1
导出分析报告
相关作者：丁德成赵希顺陆宏更多>>
相关机构：南京大学更多>>
相关期刊：《Science China Mathematics》更多>>
相关主题：极小不可满足公式多项式时间稠密性DENSITYDEGREES更多>>
相关领域：理学自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Two tractable subclasses of minimal unsatisfiable formulas
《Science China Mathematics》1999年第7期720-731,共12页赵希顺 丁德成 
Project supported by the National Natural Science Foundation of China (Grant No. 19771045);Nationl High-Tech R&D Project (863) (Grant No. 863-306-ET06-01-2).
The minimal unsatisfiability problem is considered of the prepositional formulas in CNF which in the case of variablesx 1,?,x n consist ofn +k clauses including it,x 1 V ? Vx n and ?x 1 V ? V ?x n It is shown that whe...
关键词：MINIMAL unsatisfiability SIMPLIFICATION PROCEDURE satisfaibility TEST SPLITTING collapsing. 
The weak density of properly d-r. e. branching degree in the d-r.e. degrees
《Science China Mathematics》1999年第7期691-698,共8页陆宏 丁德成 
Project supported by the National Natural Science Foundation of China (Grant No. 19771045); National 863 Hi-Tech R&D Programme.
It is proved that for any r.e. degreesv
关键词：RECURSION THEORY d.r.e. DEGREES branch. 
极小不可满足公式的两个多项式时间可判定类被引量：2
《中国科学（A辑）》1999年第3期198-206,共9页赵希顺 丁德成 
国家自然科学基金!(批准号 :197710 45 );国家"八六三"计划资助项目
研究命题公式 (合取范式 )的极小不可满足性 .设公式F含有n +k个子句(n是F中所有变元的个数 ) ,其中包括子句x1∨…∨xn 和┐x1∨…∨┐xn,证明了当k≤ 4时 。
关键词：极小不可满足 可满足性检查 算法 多项式时间 
在d-r.e.度结构中真d-r.e.分支度的弱稠密性
《中国科学（A辑）》1999年第2期97-104,共8页陆宏 丁德成 
国家自然科学基金!(批准号 :197710 45 );国家"八六三"计划资助项目
证明了对任意r.e .度v
关键词：递归论 递归可枚举度 分支度 弱稠密性 递归函数 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部