...
机译:使用DPLL和替换集确定有效的命题逻辑
Microsoft Research, One Microsoft Way, Redmond, WA 98074, USA;
rnMicrosoft Research, One Microsoft Way, Redmond, WA 98074, USA;
rnMicrosoft Research, One Microsoft Way, Redmond, WA 98074, USA;
DPLL; SAT; BDDs; effectively propositional logic;
机译:经典命题逻辑和直觉命题逻辑中变量的可判定性
机译:概率逻辑中命题公式的量化:可判定性问题
机译:命题区间邻域逻辑:可表达性,可判定性和不可判定的扩展
机译:使用DPLL和替换集确定有效的命题逻辑
机译:情境演算:可判定性和基于非单调归纳定义逻辑的方法。
机译:结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
机译:使用DPLL和替换集有效确定命题逻辑