搜索到 篇“ SAT算法 “的相关文章

相关作者

许道云
作品数：164被引量：327H指数：9
供职机构：贵州大学计算机科学与技术学院
研究主题：SAT问题 极小不可满足公式 正则 英文 收敛性
张一民
作品数：3被引量：1H指数：1
供职机构：吉林大学计算机科学与技术学院
研究主题：一阶逻辑 SAT 生成器 SAT算法 基于逻辑
焦加麟
作品数：3被引量：40H指数：1
供职机构：上海交通大学电子信息与电气工程学院计算机科学与工程系
研究主题：计算机辅助教学 人工智能 智能教学系统 知识表示 DPLL
吴尽昭
作品数：77被引量：165H指数：7
供职机构：广西民族大学
研究主题：英文 异构 PROMELA 形式化验证 任务调度算法
胡国华
作品数：20被引量：90H指数：3
供职机构：忻州师范学院计算机系
研究主题：粗糙集 单片机 决策表 区分矩阵 属性约简