可满足性问题相关论文
可满足性问题(SAT问题)是计算机科学领域中的核心基础问题,是寻找并确定一组真值指派作为以合取范式形式(CNF)表示的给定布尔约束公式......
信息传播算法来自统计物理,被广泛应用于人工智能各个领域,特别是求解组合优化问题时,有良好的有效性。根据信息传播算法的相关文献进......
近年来,“智慧医疗”概念逐渐兴起。本文主要针对智慧医疗中的辅助诊断场景,即机器可以根据患者的症状信息对其所患疾病自动地做出......
区块链技术正处于快速发展的状态,被誉为是新的颠覆性技术,许多领域都有关于区块链应用的身影。区块链技术包含许多底层技术,而使......
为了深入理解均衡正则恰当(2s,k)-SAT问题的判定难度和可满足性解的分布情况,引入随机实例产生模型,利用一阶矩和二阶矩方法分析了可满......
如今计算机科学技术发展飞速,各类非线性问题、NP完全问题在实际应用中不断涌现,针对此类复杂的计算问题,现有的电子计算机系统往......
命题动态逻辑是模态逻辑最为成功的变种之一,在计算机科学和人工智能的众多领域发挥着重要作用.作为W3C推荐的Web本体语言OWL的逻辑......
本文提出了加权消元(ew SAT算法)算法,它属于不完全算法;我们从对子句、文字加权的方法和跳出策略着手,设计出一个合理的算法,实验......
DNA折纸术是一种全新的DNA自组装方法,具有可编程性、纳米可寻址性等优点,被广泛地应用于DNA计算中。利用DNA折纸术可折叠出特殊结......
【摘要】可满足性问题(简称SAT问题)作为第一个被证明的NP完全问题,是计算机科学的核心问题之一。本文系统总结了基于硬件可编程逻辑(F......
知识编译作为人工智能的重要方向,在实时查询和推理中起重要作用。有序二元决策图(ordered binary decision diagram,OBDD)是知识......
自从Adleman博士1994年成功地给出用DNA计算方法求解有向图的Hamilton有向路问题以来,关于DNA计算与DNA计算机的研究开始飞速的发......
可满足性问题(the satisfiability prblem,简称SAT)是计算机科学的中心问题之一,相变现象则是SAT问题的一个重要特性.该文首先总结......
命题逻辑可满足性(SAT)问题和有限论域一阶逻辑模型搜索(FOLMS)问题是计算机理论科学中的经典问题,不仅在理论上有着重要的地位,而且......
在计算机科学的许多领域,可满足性问题(SAT)都是一个重要的研究课题。SAT是一个NP完全问题,但在各种领域都需要快速算法来解决规模较......
电子设备的可靠性取决于其所采用的软硬件系统,归根到底,是其可靠的硬件基础——集成电路。集成电路的发展同时也促进计算机技术和通......
命题逻辑公式的可满足性问题(SAT)是数理逻辑、计算机科学、集成电路设计与验证和人工智能等领域中的核心问题,并且是第一个被证明......
在本文中对已有两种算法进行研究和分析的基础上,提出了一些新的建议。本文的工作大致可以归纳如下:① 在系统算法中给出一种新的启......
随着现代信息科技的迅猛发展,尤其是因特网上信息资源的高速增长,人们可以在短时间内搜集和积累大量的数据资料,使我们面对着日益严峻......
可满足性问题(SAT问题)在数理逻辑、人工智能、机器学习、约束满足问题、VLSI集成电路设计与检测以及计算机科学理论等领域具有广阔......
可满足性问题(即SAT问题)是第一个被证明的经典NP问题。人们一直致力于如何在有限的时间求解可满足性问题。随着现实世界中可满足......
本文为多智能体系统定义了一个称之为知识结构的逻辑框架,来进行智能体的知识推理.在知识推理过程中,使用”变量忘记”(VariableForg......
DNA计算以其海量存储和并行运算能力,从理论上可克服电子计算机存储量与运算速度上的不足,成为NP完全问题和其它难解问题的潜在解......
可满足性问题(Satisfiability problem问题,简称SAT问题)是第一个被证明的NPC(Non-deterministic Polynomial Complete)问题,它是......
在近半个世纪以来,算法研究始终是计算机科学研究的核心内容之一。 作为算法中的经典问题之一,可满足性问题(SAT)是人们证明的最......
命题可满足性问题(SAT)是判定一个给定的CNF形式的命题逻辑公式是否存在可满足的赋值的问题。SAT问题是数理逻辑、人工智能和理论......
无论在计算机系统硬件设计方面还是在软件设计方面,随着设计规模越来越复杂和庞大,会产生越来越多的设计缺陷和错误等。用一些传统的......
可满足性问题(Satisfiability Problem,简称SAT Problem)是众多NP完全问题的“种子”,它是一类问题的难度标准,很多NP完全问题最终......
进化非选择算法是通过借鉴生物免疫进化机制与免疫非选择机制而提出的,具有较好的全局搜索能力。可满足性问题是六个基本的NP完全......
可满足性问题(satisfiability problem,简称SAT问题)作为第一个被证明的NP完全问题,有着重要的理论及应用意义。它是计算机理论与......
可满足性问题(SAT)是数学和计算机科学领域中很重要的问题,是工业自动化等领域的应用基石。目前使用机器学习判定可满足性问题的方......
可满足性问题是一个寿命很长且经典的数学问题,SAT问题一般被称为命题逻辑的可满足性问题。确定性算法和非确定性算法是解决SAT问......
命题公式的可满足性(SAT)问题作为一类重要的NP完全问题,与人工智能中许多复杂性问题密切相关。然而,随着人工智能领域的快速发展,......
可满足性问题(即SAT问题)是第一个NP完全问题,这一个典型且著名的判定问题早在1971年的时候就已经被S.A.Cook证明出来。SAT问题不......
布尔可满足性问题(Satisfiability Problem,SAT问题)是逻辑学中经典的判定问题,也被证明是一个NPC(Non-deterministic Polynomial ......
人们从生活经验中知道,任何产品和设备都需要测试。测试是在规范要求条件下确定产品是否满足规范要求的过程。测试贯穿产品的设计......
科学家从细胞生物学的研究中得到启示,每一种生命体都经过了上亿万年的生存竞争和适应进化,炼就了一整套适应自然的物理化学机制,同时......
六、NP—完全问题在前面所述的问题分类中,“已证明是不可解的问题类及已证明是难解的问题类”,我们不必去研究了。对于“已证明......
本文提出了一种通用算法,能在T=0(2~(n/2))时间和S=0(2~(n/4))空间内解一些NP完全问题,此算法可推广为一算法族,这个算法族的时间......
在本文中,首先给出一些相关定义和将SAT问题转换为一元函数求最大值的方法,然后阐述SAT-GA算法的基本思想,以及与算法相关的染色体......