SAT问题相关论文
命题公式的可满足性问题（SAT问题）是判定是否存在一组变元真值赋值使得给定公式为真,MAX-SAT问题是SAT问题的最优化形式,寻找一组变......
可满足性（SAT）问题是人工智能的基础问题,同样是NP难问题,在机器学习、模式识别和自然语言处理等领域有着实际应用。然而,随着人工智......
布尔可满足性（Boolean Satisfiability Problem,简称SAT）问题又称为SAT问题是人工智能、数理逻辑、计算机科学等领域的中心问题。自......
自上世纪九十年代Adleman在实验室用分子生物实验操作成功地求解一7个顶点图的Hamilton路问题以来,生物计算这个全新的研究领域就......
SAT问题的实际应用使得设计和开发高效的SAT求解算法具有重要意义,可以将SAT实例表示为相应的图,然后在图的基础上对SAT问题的结构......
警示传播WP算法是一类重要的信息传播算法,在命题公式的可满足性判定中非常有效.通过对WP算法的数学原理分析发现,当算法收敛时以......
合取范式CNF（Conjunctive Normal Form）的可满足性SAT（Satisfiability）问题是人工智能、计算理论和理论计算机科学中的最瞩目问题之一.......
本文对SAT问题的随机局部搜索算法的执行轨迹进行Markov建模，并推导出算法的转移矩阵模型，分析随机局部搜索算法的通用框架，及三......
演化计算是用计算机模拟大自然的演化过程,特别是生物的进化过程,来求解复杂问题的一类计算模型。演化计算具有自学习、自组织、自......
SAT问题是计算科学中最基础的问题之一,大部分组合逻辑问题都可以归约求解SAT问题上面来,是非常具有理论研究价值和实际应用潜力的......
近年来DNA计算得到了飞速发展，它具有高度并行性，运算速度快，作为信息载体其贮存容量大，能量消耗低，资源丰富等优点。目前DNA计算在实现......
本文提出了基于警示传播的启发式极性决策算法(WPDP)，是一个完全算法，不但能够解决大部分难解可满足性实例，而且能够验证实例的不可满......
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问题)是数理逻辑中的一个经典问题,也是自动推理的一个重要研究方向。在理论应用方面,许......
给定一个合取范式CNF,合取范式中的每一项都是布尔变元的析取,SAT问题(Boolean Satisfiability Problem)是判断这个CNF是否可满足;......
命题公式的满足性问题(简称SAT问题)是指布尔表达式的可满足性问题.它是理论计算机科学中的一个重要问题.在数理逻辑、人工智能、......
SAT问题的研究具有重要的理论意义和应用价值,目前求解SAT问题的方法大致分为完全算法和不完全算法两大类。由于SAT问题是NP完全问......
OK库是一个开源数据库,被用于支持广义SAT问题领域的研究和发展,该库可从下述网址获得:http://www.ok-sat-library.org..本文中我......
本文首先构造了随机均匀产生的d-SAT问题的概率模型；然后给出了SAT问题的解的个数的均值的计算公式.使用矩方法研究了解空间的元素......
DP算法是求解SAT问题的最有效完全算法之一,论文分析和讨论了DP算法中的各种分枝文字策略.并基于对不满足解数估计的方法,提出了一......
SAT问题是判断命题逻辑公式可满足性,也是NP完全问题之首,在计算机科学和人工智能等领域有重要的理论和应用价值,成为了这些领域的......
