共 2 条
提问逻辑式化为析取式的树展开法
被引：3
作者：
徐进鸿
邵品洪
彭安评
不详
机构：
[1] 南京大学
[2] 南京大学
来源：
关键词：
析取式;
分支;
结点;
根树;
奇点;
合取式;
展开法;
内存空间;
倒排文档;
倒排档;
退栈;
工作单元;
算法;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：8 / 10
页数：3
相关论文