可满足性问题相关论文
可满足性问题（SAT问题）是计算机科学领域中的核心基础问题,是寻找并确定一组真值指派作为以合取范式形式（CNF）表示的给定布尔约束公式......
信息传播算法来自统计物理，被广泛应用于人工智能各个领域，特别是求解组合优化问题时，有良好的有效性。根据信息传播算法的相关文献进......
近年来,“智慧医疗”概念逐渐兴起。本文主要针对智慧医疗中的辅助诊断场景,即机器可以根据患者的症状信息对其所患疾病自动地做出......
区块链技术正处于快速发展的状态,被誉为是新的颠覆性技术,许多领域都有关于区块链应用的身影。区块链技术包含许多底层技术,而使......
为了深入理解均衡正则恰当（2s，k）-SAT问题的判定难度和可满足性解的分布情况，引入随机实例产生模型，利用一阶矩和二阶矩方法分析了可满......
如今计算机科学技术发展飞速,各类非线性问题、NP完全问题在实际应用中不断涌现,针对此类复杂的计算问题,现有的电子计算机系统往......
DNA折纸术是一种全新的DNA自组装方法,具有可编程性、纳米可寻址性等优点,被广泛地应用于DNA计算中。利用DNA折纸术可折叠出特殊结......
【摘要】可满足性问题（简称SAT问题）作为第一个被证明的NP完全问题，是计算机科学的核心问题之一。本文系统总结了基于硬件可编程逻辑（F......
自从Adleman博士1994年成功地给出用DNA计算方法求解有向图的Hamilton有向路问题以来,关于DNA计算与DNA计算机的研究开始飞速的发......
从1994年至今, DNA计算已成为数学、生物学、化学、计算机科学等领域的一个研究热点,并解决了很多NP—完全问题。如何减少编码量大......
命题逻辑可满足性(SAT)问题和有限论域一阶逻辑模型搜索(FOLMS)问题是计算机理论科学中的经典问题，不仅在理论上有着重要的地位，而且......
命题逻辑公式的可满足性问题(SAT)是数理逻辑、计算机科学、集成电路设计与验证和人工智能等领域中的核心问题,并且是第一个被证明......
在本文中对已有两种算法进行研究和分析的基础上，提出了一些新的建议。本文的工作大致可以归纳如下：① 在系统算法中给出一种新的启......
SAT问题(Satisfiability problem)，是第一个被证明的NPC(Non-deterministicPolynomial Complete)问题，在计算机科学理论和应用中具有......
可满足性问题（SAT问题）在数理逻辑、人工智能、机器学习、约束满足问题、VLSI集成电路设计与检测以及计算机科学理论等领域具有广阔......
可满足性问题(即SAT问题)是第一个被证明的经典NP问题。人们一直致力于如何在有限的时间求解可满足性问题。随着现实世界中可满足......
本文为多智能体系统定义了一个称之为知识结构的逻辑框架，来进行智能体的知识推理.在知识推理过程中，使用”变量忘记”(VariableForg......
安全协议是一种在不安全的公共网络上为完成某种不可泄漏的信息交换而建立的通信协议．所谓网络的不安全性，是指黑客的存在，他可以监听......
可满足性问题(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问......
模型计数(model counting,#SAT)问题旨在计算给定的公式集合中所有模型的个数,绝大部分计算复杂度为#P的问题均可以在多项式时间内......
命题公式的可满足性(SAT)问题作为一类重要的NP完全问题,与人工智能中许多复杂性问题密切相关。然而,随着人工智能领域的快速发展,......
可满足性问题(即SAT问题)是第一个NP完全问题,这一个典型且著名的判定问题早在1971年的时候就已经被S.A.Cook证明出来。SAT问题不......
布尔可满足性问题(Satisfiability Problem,SAT问题)是逻辑学中经典的判定问题,也被证明是一个NPC(Non-deterministic Polynomial ......
可满足性问题是第一个NP完全问题,在计算机辅助设计、人工智能、密钥攻击、电子设计自动化、规划等领域有着广泛的应用。目前还没......
可满足性问题是被广泛研究的基本NP问题之一。电子设计自动化、人工智能、计算机科学、运筹管理等方面的许多问题都可以简化成可满......
本文主要介绍了DNA计算产生的背景、DNA计算的发展历程、DNA计算的独特优势、DNA计算广泛应用以及国内外的相关研究。强调了Adlema......
随着信息技术的迅猛发展，大数据环境下用户信息在传递过程中的安全性问题成为人们最关注的热点之一。众所周知，公钥加密体制是近代密......
人工智能领域中,研究命题逻辑公式的可满足性(SAT)问题具有十分重要的作用。随着科学、技术、社会等领域的发展,需要解决的SAT问题......
近年来，量子计算机、生物计算机、DNA计算等领域的创新工作引起了世人的广泛关注。其中，以DNA计算(DNAcomputing)为主的生物计算因具......
Adleman博士通过对含有7个顶点的有向哈密顿路的顶点进行编码,得到相应的DNA链,再通过生物操作：连接,变性,PCR扩增,电泳等等求解出......
信念传播算法是基于因子图模型的消息传递算法,通过图中的边,将消息从一个结点传递给另一个结点,以高概率地确定部分变量的取值,这......
提出了一个可满足性问题解决器,它结合了DPLL(Davis Putnam Loge-mann and Loveland)算法和作为高级推理技术之一的失败性文字检查......
已有研究表明,在SAT求解器中引入重启可以极大地提高求解性能,并已出现了许多不同重启策略.目前还缺少全面的对比分析研究.为了避......
该文为可满足性问题的高效近似求解提出了改进的模拟退火算法。数值实验表明,对于该文随机产生的测试问题例,改进的模拟退火算法完......
离散数学是数学的一个分支,离散数学中有诸多的NP-完全问题.例如:求主范式问题,图着色问题,旅行商问题等等.本文根据DNA发夹结构的......
提出了一种启发式极性决策的可满足性问题(SAT)新算法.该算法继承了当前SAT解决器的许多策略:快速BCP、子句记录、重启动搜索等.同......
基于扩展规则的定理证明方法是一种与归结方法互补的新的定理证明方法,首先通过对扩展规则的深入研究,给出了扩展规则的一个重要性......
收敛性是评价信息传播算法性能的重要指标,信息传播算法求解可满足性问题时,命题公式的结构特征影响算法的收敛性,具有复杂结构的......
首先研究可满足性问题,报告了DNA计算关于可满足性问题的研究现状;然后介绍了微流路芯片高压凝胶电泳,给出了解决可满足性问题的解......
