极小不可满足核及其提取

• 作者: 徐小萍
• 来源期刊: 廊坊师范学院学报：自然科学版
• 学科: 数学
• 关键词: 极小不可满足公式 提取 求解器
• 年，卷（期）: 2011,（5）
• 所属期刊栏目: 数学与信息科学
• 页码范围: 14-15
• 分类号: O141
• 字数: 1994字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-3229-B.2011.05.004

摘要

在极小不可满足公式和可满足公式的基础上给出极小不可满足核的定义,并给出用布尔可满足求解器提取不可满足公式的极小不可满足核的方法。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐小萍		3	0	0.0	0.0