| 极小不可满足核及其提取 |
| |
| 引用本文： | 徐小萍.极小不可满足核及其提取[J].河北职业技术学院学报,2011(5). |
| |
| 作者姓名： | 徐小萍 |
| |
| 作者单位： | 襄樊学院; |
| |
| 摘 要： | 在极小不可满足公式和可满足公式的基础上给出极小不可满足核的定义,并给出用布尔可满足求解器提取不可满足公式的极小不可满足核的方法。
|
| 关 键 词： | 提取 可满足性问题 求解器 子句 新公式 命题公式 极小不可满足公式 |
The Minimal Unsatisfiable Core and Its Extraction |
| |
| XU Xiao-ping.The Minimal Unsatisfiable Core and Its Extraction[J].Journal of Hebei Polytechnic,2011(5). |
| |
| Authors: | XU Xiao-ping |
| |
| Institution: | XU Xiao-ping |
| |
| Abstract: | 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. |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
