Satisfiability相关论文
Using both quasiphysical and quasisociological methods, in conjunction with an inheriting strategy, a new way strategy a......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
Consistency checking is a fundamental computational problem in genetics. Given a pedigree and information on the genoty......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
In this paper, a computationally effective algorithm based on tabu search for solving the satisfiability problem (TSSAT)......
Consistency checking is a fundamental computational problem in genetics. Given a pedigree and information on the genoty......
以一类布尔方程组形式的NP问题可满足性阈值估计为研究目的,通过将高斯消去算法与摘叶算法相结合的方法给出了一种求解该问题的完......
证明了系统Ln^＊中的可满足性定理,紧致性定理和可判定性定理,完善了系统Ln^＊的理论体系,并将这些性质应用到计量逻辑学中,给出了∑г......
由于目前tableau算法在判断概念可满足性时会产生大量的描述重复（因而浪费了很多空间）,针对描述逻辑语言ALCN提出了一种基于子句重构......
信息传播算法求解随机3-SAT问题时非常有效，能使难解区域变窄。然而，对于因子图带有环的实例，信息传播算法并不总有效，常表现为不收敛......
针对命题逻辑中逻辑公式的某个单元子句及其负文字和冗余子句,给出了含单元子句的子句集的等价条件,同时刻画了子句集中文字和子句......
针对关于ＳＡＴ问题物理模型的一个猜想，得到了该猜想成立的必要条件，然后构造出反例，说明该猜想是不成立的，同时指出，考虑到“算法吸引区”的......
产生所有的极小冲突部件集为基于模型诊断中的一个重要步骤.本文将待诊断系统的行为模型及观测分别使用合取范式（CNF）形式的文件描述......
合取范式最大可满足问题是理论计算机科学的核心问题．局部搜索被许多求解实践证明是解答合取范式最大可满足问题十分有效的方法，但未......
提出了两个用于求解可满足性(SAT)问题的启发式策略.数值实验表明,基于该策略的模拟退火算法的性能优于局部搜索算法,因此这两个策......
基于拟物拟人思想的 Solar算法是一个求解 SAT问题的快速算法 .实验和理论分析表明 ,Solar算法具有易并行化的特性 .将 Solar算法......
针对非循环概念提出了一种对SHOIN（D）概念可满足性进行判断的方法——CDNF（complete disjunctive normal form）算法．该算法通过把非循环......
信息传播算法求解可满足问题时有惊人的效果,难解区域变窄.然而,因子图带有环的实例,信息传播算法不总有效,常表现为不收敛.对于这......
时间自动机是一种有效描述实时系统行为的计算模型。借助时间自动机对实时系统进行分析、设计能够保证所开发的实时系统具有较高的......
为了提高等价性验证在数字电路中的验证效率，提出一种逻辑锥分割和可满足性相结合的方法。通过划分规则把参照电路和实现电路划分成......
在实际应用中通常需要求解对应CNF（ConjunctiveNormalForm）公式之间仅相差几个子句的一系列SAT（SatisfiabilityProblem）问题，但目前绝大......
讨论群的命题的可满足性，证明了超积ПＤ Ｓｎ中有秩≥２的自由群，如果群Ｇ满足存在公式φ并且Ｇ同构于ΠＤ Ｓｎ的一个子群，则存在有限群满足ψ。......
为了使自卸车车架在满足使用性能的条件下达到轻量化的要求,将拓扑优化方法引入车架的结构设计过程中。以车架多工况权重刚度最大......
为了提高可满足性求解器的效率,提出了一种利用电路可观无关性的方法.以带可观无关条件的CNF理论为基础,通过在可观无关条件计算时......
为了研究结构多目标拓扑优化中构造不同评价函数对优化结果的影响,以商用车车架为模型,分别建立了线性加权法、平方和加权法和折衷......
为了降低容错处理器阵列的能耗开销,提出一种基于可满足性（SAT）的高性能阵列的可满足性模型。该方法通过结合可满足性的思想,将含故......
对继承策略在求解SAT问题的严格算法中如何运用做了初步的研究,用继承策略改进了李初民于1997年提出的一种严格算法.改进后的算法......
提出了一个求解难可满足性问题的简单混合算法.拟人和禁忌表两个策略被给出.数值实验表明,对于一类公认比较难的可满足性问题,该算......
针对寄存器传输级(RTL)验证和测试过程中非常重要的数据通路可满足性求解问题,提出一种基于二元约束满足问题(CSP)的求解方法,包括......
In this article I describe a randomized algorithm based on random walks with two absorbing barriers that solves the sati......
对于含有n个未知数t个方程的线性方程组，各种实验显示随着参数r（方程个数／未知数个数）的变化，会发生从有解到无解的相变现象。研究工随......
The maximum satisfiability problem (MAX-SAT) refers to the task of finding a variable assignment that satisfies the maxi......
ＡＰｒａｃｔｉｃａｌＰａｒａｌｌｅｌＡｌｇｏｒｉｔｈｍｆｏｒＰｒｏｐｏｓｉｔｉｏｎａｌＫｎｏｗｌｅｄｇｅＢａｓｅＲｅｖｉｓｉｏｎＳＵＮＷＥＩ；ＴＡＯＸＵＥＨＯＮＧａｎｄＭＡＳＨＡＯＨＡＯ（Ｄｅｐｔ．ｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅ，Ｓｈａｎｄｏｎｇ.........
