| 注册
首页|期刊导航|中南矿冶学院学报|部分赋值一阶逻辑公式的条件求值——NP完全性及在特定情况下的求解

部分赋值一阶逻辑公式的条件求值——NP完全性及在特定情况下的求解

潘久辉

中南矿冶学院学报1989,Vol.20Issue(2):204-211,8.
中南矿冶学院学报1989,Vol.20Issue(2):204-211,8.

部分赋值一阶逻辑公式的条件求值——NP完全性及在特定情况下的求解

潘久辉1

作者信息

  • 1. 中南矿冶学院计算机科学系
  • 折叠

摘要

关键词

条件求值问题/公式/情况/赋值/特定/证明/一般/NP完全/一阶逻辑/关系数据库

分类

社会科学

引用本文复制引用

潘久辉..部分赋值一阶逻辑公式的条件求值——NP完全性及在特定情况下的求解[J].中南矿冶学院学报,1989,20(2):204-211,8.

中南矿冶学院学报

0253-4347

访问量0
|
下载量0
段落导航相关论文