逆向并行演绎相关硕士博士期刊学术论文 - 搜论网

逆向并行演绎相关论文

关于并行SAT求解器和并行自动演绎推理系统的研究

命题逻辑和一阶逻辑是逻辑学中的基本问题,也是计算机科学领域的核心问题。在推理系统中命题是命题逻辑公式的最小单位,一阶逻辑可......

学位

SAT问题一阶逻辑 OpenMP 混合遗传算法 GPU 学习子句评估矛盾体分离逆向并行演绎

看过本文同时还关注