当前位置：
数字出版物超市 >> 
不可满足公式的结构以及证明方法的研究
不可满足公式的结构以及证明方法的研究
【项目名称】 不可满足公式的结构以及证明方法的研究
【项目编号】 60463001
【项目目标】
【项目关键词】 不可满足公式 证明方法 极小不可满足公式 MAX 变元 图同构 多项式时间 判定问题 MAR 公式 子类 文字 分裂技术 可判定性 递归构造 命题 等价
【项目承办单位】 贵州大学;
【项目负责人】 许道云;
【项目来源】 国家自然科学基金项目
【涉及学科】 数学
【科研经费】 22万
【所属大项目】
【项目参与研究人员】
    【项目参与研究机构】
    【项目成果摘要】
    【发布单位】 国家自然科学基金委员会
    【发布时间】 2004-01-04
    【申请截止时间】 2004-03-31
    【立项时间】 2005-01
    【完成时间】 2007-12
    【申请条件】
    【联系方式】
    【项目信息来源】 https://isis.nsfc.gov.cn/portal/proj_search.asp
    加载本项目科研成果产出报表....
    加载本项目科研成果....
    加载项目负责人以往科研成果....
    加载同类科研项目成果比较....
    加载本项目科研成果引证文献....
    加载学术文献....
    加载所属大项目下的其它项目....
    加载相关研究人员....
    加载相关研究机构....