极小不可满足核及其提取  

The Minimal Unsatisfiable Core and Its Extraction

作　　者：徐小萍[1] 

机构地区：[1]襄樊学院,湖北襄阳441053

出　　处：《廊坊师范学院学报（自然科学版）》2011年第5期14-15,共2页Journal of Langfang Normal University(Natural Science Edition)

摘　　要：在极小不可满足公式和可满足公式的基础上给出极小不可满足核的定义,并给出用布尔可满足求解器提取不可满足公式的极小不可满足核的方法。The minimal unsatisfiable core is a hot research field in theoretical computer science.Based on the minimal unsatisfable formula and satisfiable formula,this paper defines the minimal unsatisfiable core,and gives out the method to extract the minimal unsatisfiable cores of the minimal unsatisfiable formula with the sat-resolver.

关 键 词：极小不可满足公式 提取 求解器 

分 类 号：O141[理学—数学]