推荐文档列表

w
Bi对自旋阀钉扎场的影响及机理

推荐：
w
盐酸克伦特罗的太赫兹光谱研究

推荐：
w
[Pb(3-HPYA)2]n的合成及其晶体结构

推荐：
w
准位相匹配铌酸锂波导倍频特性分析与优化设计

推荐：
w
阻抑氧化甲基橙动力学光度法测定硒?

推荐：
w
三氯化铝固载化的新方法

推荐：
w
压电梯度材料薄板中切口端部场的有限元分析

推荐：
w
两运动耦合的Morse振子系统本征模区域内环量子化

推荐：
w
甲基橙-靛红指示剂测定壳聚糖脱乙酰度

推荐：
w
用DSC研究改性沥青体系的热储存稳定性

推荐：
w
磁场的生物学效应及其机理的研究

推荐：
w
一种修正的求解一类奇异非线性方程组的ABS算法

推荐：
w
NADH在环芬化合物修饰石墨电极上的电催化氧化

推荐：
w
ARFIMA模型参数贝叶斯估计的渐近性质

推荐：
w
费尔马点的几点注解

推荐：
w
等离子体中氖输运及辐射特性模拟

推荐：
w
正丁醇作溶剂顺酐在Cu-Zn-Ti催化剂上气相加氢制取四氢呋喃

推荐：
w
多金属氧簇阴离子[Mo6O19]2-/PAMAM超分子化合物的制备、表征及性能

推荐：
w
一类二阶非线性变时滞微分方程的振动准则

推荐：
w
原子吸收光谱法测定山东绿茶中金属元素含量的季节变化

推荐：
w
原子簇La8-xBaxCuO6的原子磁矩和自旋极化的电子结构研究

推荐：
w
反式油酸的太赫兹光谱研究

推荐：
w
Lagrange型高阶数值微分公式代数精度的探析

推荐：
w
WO2.50纳米组装片的制备、表征及其在导电涂料中的应用

推荐：
w
同步荧光法检测鱼胆汁中的1-羟基芘

推荐：
w
Widely continuous-tunable 2.789-4.957 μm twin-MgO:PPLN cascaded optical parametric oscillator

推荐：
w
控制三维光场的纯相位衍射光学元件优化设计

推荐：
w
偏氟乙烯/六氟丙烯乳液共聚反应动力学

推荐：
w
离散变分方法研究PuH3分子的电子结构

推荐：
w
自感演示实验电流尖峰现象的理论解释

推荐：
w
粘度及流变性在实验教学中的应用

推荐：
w
间硝基酚在复合功能树脂上的吸附热力学及动力学研究

推荐：
w
电子回旋共振等离子体增强化学气相沉积a-CFx薄膜的化学键结构

推荐：
w
凝胶体系中不同结构羧酸盐对草酸钙生物矿化的影响

推荐：
w
部分相干光经单缝衍射后的光谱变化

推荐：
w
线性流形上D反对称矩阵反问题的最小二乘解

推荐：

基于路径搜索的格值命题逻辑自动推理方法

时间：2021-12-07 17:38:13 数理化学论文我要投稿

基于路径搜索的格值命题逻辑自动推理方法

提出一种基于路径搜索的自动推理算法.除了采取预处理外,还采用了动态的删除策略,使对大部分路径的搜索变成对一条路径搜索.可快速地完成对一类格值命题逻辑中的任何一个子句集可满足性与不可满足性的判定.文中还讨论了该算法计算的复杂性.

作者：李海明刘鹏仙徐扬作者单位：李海明(西南交通大学应用数学系,四川成都,640031;唐山师范学院计算机系,河北唐山,063000)

刘鹏仙(唐山师范学院计算机系,河北唐山,063000)

徐扬(西南交通大学应用数学系,四川成都,640031)

刊名：西南交通大学学报 ISTIC EI PKU 英文刊名： JOURNAL OF SOUTHWEST JIAOTONG UNIVERSITY 年，卷(期)： 2003 38(3) 分类号： O153 关键词：自动推理路径子句集互补对

最新文章