搜索到 篇“ 极小不可满足公式 “的相关文章

相关作者

许道云
作品数：165被引量：330H指数：9
供职机构：贵州大学计算机科学与技术学院
研究主题：SAT问题 极小不可满足公式 正则 英文 收敛性
徐小萍
作品数：8被引量：6H指数：2
供职机构：襄樊学院
研究主题：复杂度 MU 极小不可满足公式 命题逻辑 消解
陈庆燕
作品数：8被引量：11H指数：2
供职机构：滨州学院计算机科学技术系
研究主题：极小不可满足公式 概念格 改名 MAX 概念格构造算法
张庆顺
作品数：5被引量：6H指数：1
供职机构：贵州大学计算机科学与信息学院计算机科学系
研究主题：极小不可满足公式 英文 SAT问题 MU NP-完全性
丁德成
作品数：25被引量：17H指数：2
供职机构：南京大学数学系
研究主题：开放逻辑 英文 缺省逻辑 极小不可满足公式 稠密性