【摘 要】
：
命题逻辑公式是由命题变元和逻辑连结词(Φ)(否定)、∧(合取)、∨(析取)、→ (蕴涵)以及括号按照一定的规则组成的表达式.其中命题变元x,y,z…代表一个一个的命题,它们可取值
【机 构】
：
华中科技大学,UnivertsityofPicardieJulesVerne,France
【出 处】
：
2011年全国理论计算机科学学术年会
论文部分内容阅读
命题逻辑公式是由命题变元和逻辑连结词(Φ)(否定)、∧(合取)、∨(析取)、→ (蕴涵)以及括号按照一定的规则组成的表达式.其中命题变元x,y,z…代表一个一个的命题,它们可取值为0(假)或1(真).命题逻辑公式的可满足问题是判定一个给定的命题逻辑公式是否可满足的问题(即所给定公式在其所有命题变元的某一组取值下可否为真).
其他文献
随着职业教育改革的深入推进,教育信息化已经成为技师学院教育改革的重要内容,这也为技师学院计算机教学提出了更深层次的要求.为了进一步提高专业育人效果,技师学院计算机教
从选角到拍摄到各地方台开花再到绽放京城荧屏，整整暄闹了两个年头的金庸武侠大戏《神雕侠侣》终于落下帷幕，功过是非争论的硝烟，当然还远没有散去，张纪中的武侠大戏总是一个经久
为了进一步提高CPU-GPU协同贝叶斯种系发生算法n(MC)3的并发度,本文在n(MC)3算法基础上提出了优化算法,修改算法并行策略,重组计算次序,削弱相邻计算节点之间的依赖关系,增强GPU空闲单元的利用,实现了更高的加速比,显著提高了算法性能.
随着单平面学习理论和方法的日趋完善,多平面学习的研究将逐步受到重视并成为研究热点,其中分片线性学习作为一个新方向将对推动多平面学习技术的发展起到至关重要的作用.分
综述了carbon-cloth(CC)基质电催化剂上用于水分解反应的各种过渡金属基(Fe-、Co-、Ni-、Mo-和W-)异质结构纳米复合材料.认为过渡金属基电催化剂由其形态的改善、协同作用、
为使专业课程与思政课程同向同行达到协同育人目的,需要深入挖掘专业课程中所蕴含的思政内容并输送给学生.以编程类课程为例,从理论与实验教学两个方向对融合课程思政方法进
聚类集成属于机器学习与人工智能研究领域,其基本思想是用若干独立的聚类算法分别对原始数据进行聚类,然后对这些聚类分量结果进行组合,最终获得更高质量和鲁棒性的聚类结果.
FPT algorithms attempt to confine the exponential time of an algorithm to some part of the input,designated as parameter k,and therefore solve the problem effic
Integer Factorization is a famous old open mathematical problem for at least 2000 years since Euclids times; Gauss justified it as "one of the most important an
随着制造工艺物理极限的迫近,主流CPU性能的提高已经从单纯提高主频转为增加处理器内核数量上来,即通过多个处理器核心的并行处理来提高系统和程序的运行性能.目前主流的多核