SAT问题相关论文
命题公式的可满足性问题（SAT问题）是判定是否存在一组变元真值赋值使得给定公式为真,MAX-SAT问题是SAT问题的最优化形式,寻找一组变......
可满足性（SAT）问题是人工智能的基础问题,同样是NP难问题,在机器学习、模式识别和自然语言处理等领域有着实际应用。然而,随着人工智......
布尔可满足性（Boolean Satisfiability Problem,简称SAT）问题又称为SAT问题是人工智能、数理逻辑、计算机科学等领域的中心问题。自......
自上世纪九十年代Adleman在实验室用分子生物实验操作成功地求解一7个顶点图的Hamilton路问题以来,生物计算这个全新的研究领域就......
SAT问题的实际应用使得设计和开发高效的SAT求解算法具有重要意义,可以将SAT实例表示为相应的图,然后在图的基础上对SAT问题的结构......
警示传播WP算法是一类重要的信息传播算法,在命题公式的可满足性判定中非常有效.通过对WP算法的数学原理分析发现,当算法收敛时以......
SAT问题,即合取范式可满足性问题,是问一个给定的合取范式是否存在一个真值指数派使之为真,即使之得到满足.SAT问题是第一个被证明......
合取范式CNF（Conjunctive Normal Form）的可满足性SAT（Satisfiability）问题是人工智能、计算理论和理论计算机科学中的最瞩目问题之一.......
本文对SAT问题的随机局部搜索算法的执行轨迹进行Markov建模，并推导出算法的转移矩阵模型，分析随机局部搜索算法的通用框架，及三......
随着现代信息科技的迅猛发展，尤其是因特网上信息资源的高速增长，人们可以在短时间内搜集和积累大量的数据资料，使我们面对着日益严峻......
演化计算是用计算机模拟大自然的演化过程,特别是生物的进化过程,来求解复杂问题的一类计算模型。演化计算具有自学习、自组织、自......
SAT问题是计算科学中最基础的问题之一,大部分组合逻辑问题都可以归约求解SAT问题上面来,是非常具有理论研究价值和实际应用潜力的......
近年来DNA计算得到了飞速发展，它具有高度并行性，运算速度快，作为信息载体其贮存容量大，能量消耗低，资源丰富等优点。目前DNA计算在实现......
基于模型诊断问题是NP难度的问题,在人工智能领域内有着十分重要的地位。同时,在工程医学、经济、航天等领域内,基于模型诊断问题......
CDCL(Conflict Derive Clause Learning)算法是解决布尔可满足性问题(Satisfiability Problem,SAT)的一种完备算法,CDCL算法求解过......
基于模型诊断是人工智能领域的热门研究课题,弥补了传统诊断方法的多种不足。其理论研究成果丰硕,并广泛应用于实际生产中,加快了......
可满足性问题(Boolean Satisfiability problem,SAT)作为计算机科学理论领域的经典问题,有着广泛的应用前景,亦是当前学界研究的热......
在逻辑问题中,布尔可满足性问题(即SAT问题)一直广受人们的关注。SAT问题是确定以合取范式(CNF)的形式给出的命题逻辑公式是否具有......
局部搜索算法作为启发式算法,是求解SAT问题较为高效的一种算法,但是在求解结构化算例上能力十分有限。目前大部分局部搜索策略只......
无线传感器网络(Wireless Sensor Networks,WSN)应用范围遍及各个领域,WSN最早被美国军方关注研究,其主要用于采集观察者所需要的......
布尔命题可满足性(SAT)问题是近些年来最受关注的NP完全问题之一,它在许多重要领域中发挥着关键的作用。膜计算是自然计算的一个分......
可满足性问题(Satisfiability Problem,SAT问题)是数理逻辑中的一个经典问题,也是自动推理的一个重要研究方向。在理论应用方面,许......
本文将可满足性问题(SAT)转化为一个优化问题,应用遗传算法来求解.为了提高遗传算法的求解效率,我们提出并采用了一种新的个体进化......
研究合取范式可满足性的SAT问题是一个著名的NP完全问题,在人工智能、计算机科 学及工程领域中有着中心课题的重要地位,它作为一种......
命题公式的满足性问题(简称SAT问题)是指布尔表达式的可满足性问题.它是理论计算机科学中的一个重要问题.在数理逻辑、人工智能、......
SAT问题的研究具有重要的理论意义和应用价值,目前求解SAT问题的方法大致分为完全算法和不完全算法两大类。由于SAT问题是NP完全问......
OK库是一个开源数据库,被用于支持广义SAT问题领域的研究和发展,该库可从下述网址获得:http://www.ok-sat-library.org..本文中我......
本文首先构造了随机均匀产生的d-SAT问题的概率模型；然后给出了SAT问题的解的个数的均值的计算公式.使用矩方法研究了解空间的元素......
DP算法是求解SAT问题的最有效完全算法之一,论文分析和讨论了DP算法中的各种分枝文字策略.并基于对不满足解数估计的方法,提出了一......
SAT问题是判断命题逻辑公式可满足性,也是NP完全问题之首,在计算机科学和人工智能等领域有重要的理论和应用价值,成为了这些领域的......
基于模型的诊断问题在人工智能领域内一直备受关注,将诊断问题转换成SAT（Satisfiable）问题成为解决基于模型诊断问题的一个重要方法.......
通过对求解虚拟企业资源结盟博弈问题与求解经典SAT问题相似性的分析,提出了一种求解虚拟企业资源结盟博弈的启发式群智能优化算法......
可满足问题(SAT)是一个NP-Hard问题。提出了一种求解SAT的新算法(FFSAT)。该算法将SAT问题转换为寻找一个可满足的2-SAT子问题。SA......
目前各种分子计算模型多基于生物技术,求解一个问题的分子计算机算法很难不作修改地应用于其他类似的问题,尚不似传统计算机般通用......
可满足性问题的求解算法和结构性质研究是计算机科学中重要问题之一,为寻求某些CNF公式子类问题有效算法或算法改进途径,对公式的......
通过构造适当的极小不可满足公式以实现在多项式时间内将3-CNF公式归约转换为一个正则(3,4)-CNF公式,转换后的公式与原公式具有相......
SAT问题的隐藏结构与问题难度有很大的关系，近年来成为人工智能的一个研究热点。隐蔽集（Backdoor）作为典型的隐藏结构之一，能使剩下的......
适当的重启有助于求解器跳出局部最优,但频繁重启会严重降低效率。为解决CDCL求解器重启触发条件随意性大的问题,提出一种基于搜索......
局部搜索法在ＳＡＴ问题上的成功运用已引起越来越广泛的重视，然而，它在面对不可满足问题例时的局限性不能不被考虑。分级重排搜索算法ＭＳＲＡ正是......
该文提出了一种求解SAT问题的改进遗传算法(SAT-WAGA).SAT-WAGA算法有多个改进性特点:将SAT问题的结构信息量化为子句权重,增加了......
结合DPLL完全算法能够证明可满足性(SAT)问题的不可满足性和局部搜索算法快速的优点,提出利用近似解加速求解SAT问题的启发式完全......
单变量边缘分布算法（UMDA）是一种新的进化算法，是求解复杂问题的一种有效算法。根据SAT问题的特点，本文提出了一种求解SAT问题的改进单......
针对文献[1]中提出的MSP问题（定义见正文）,从SAT问题出发,给出SAT问题到MSP问题的多项式归结,进而给出MSP问题NP完全性质的另一种证......
通过对3-CNF公式加以限制,要求其中每个变元出现的次数相同,引出正则3-SAT问题。进一步,通过对两种子句产生机制形成的（3,s）-CNF公式......
在人工智能研究领域的很多问题中存在着相变现象（phase transition）。问题中的某个参数发生较小的变化便会引起问题的某个属性发生突......
