香农扩展相关硕士博士期刊学术论文

提出一种新的基于知识编译的模型计数方法——MTREE.该方法以一个否定范式（NF）作为输入,利用命题表推演过程,结合香农扩展和简化规则......