SAT求解器相关论文
研究了如何使用SAT方法加速差分特征的自动化搜索。回顾了使用Matsui边界条件加速差分特征搜索的方法，为了进一步提高搜索效率，改进......
回顾了孙等使用Matsui边界条件加速差分特征搜索的方法，为了进一步提高搜索效率，改进了Matsui边界条件以及利用Matsui边界条件加速差......
极小模型的计算在人工智能推理系统中是一项必不可少的任务。然而,即使是正CNF（Conjunctive Normal Form）公式,其极小模型的计算和验......
高维多目标优化问题广泛存在于实际应用之中。在这类问题中,往往需同时考虑不止3个优化目标。研究高维多目标优化问题的有效解法是......
命题可满足问题(propositional satisfiability problem,SAT)是人工智能领域的研究热点,也是数理逻辑及计算机研究中的核心问题,对......
基于模型诊断作为一个新兴的智能故障诊断技术,对人工智能领域的发展起到了至关重要的作用。如今,基于模型诊断的应用越来越广泛,......
知识表示和自动推理是人工智能领域的核心挑战,命题逻辑作为知识表示的一般方法,为定理证明提供了理论支撑,为计算机程序提供了验......
可满足性问题是第一个NP完全问题,在计算机辅助设计、人工智能、密钥攻击、电子设计自动化、规划等领域有着广泛的应用。目前还没......
为了研究组合电路重汇聚现象,提出了一种基于SAT求解器的分析方法.通过深度优先搜索算法,确定瞬态脉冲产生节点和输出节点之间的所......
产生所有的极小冲突部件集为基于模型诊断中的一个重要步骤.本文将待诊断系统的行为模型及观测分别使用合取范式（CNF）形式的文件描述......
模型诊断方法是人工智能领域重要的系统故障自动检测方法,被广泛应用于软件故障检测和硬件诊断.近年来由于电路规模和复杂度不断增......
本文主要介绍了基于SAT路径规划算法以及路径规划系统的设计方案。通过移动机器人抓取积木为例,介绍了基于SAT路径规划算法包括的......
基于模型诊断一直是人工智能领域中热门的研究问题.近些年来,随着SAT求解器效率的逐渐提高,基于模型的诊断也被转换成SAT问题进行......
基于模型诊断(model-based diagnosis)是人工智能领域中的重要研究方向,而基于极小冲突求诊断是求解诊断问题的经典方法,因此求解......
现代卫星广泛使用的FPGA在空间高能粒子的影响下,会产生门电路的永久性损伤。而传统的三模冗余等容错方法不但成倍增加了系统硬件......
学习子句的删除在求解器的构成中是非常重要的。因为学习子句删除策略的“优劣”不仅影响BCP的效率,还影响内存的占用问题,为避免......
CDCL SAT求解器在形式验证等领域应用广泛,但重启策略众多且参数控制复杂,导致通常选择默认参数下的策略,从而降低求解器的效率和......
基于模型诊断是一种智能诊断推理技术,旨在解决第一代专家诊断系统的重大缺陷,在人工智能领域内一直是热门研究课题之一。基于模型......
在基于搜索的软件工程研究领域,高维多目标最优软件产品选择问题是当前的一个研究热点.既往工作主要采用后验方式(即先搜索再选择)......
随着计算机技术的不断进步,计算机系统的软硬件设计越来越复杂,过于复杂和庞大的设计必定会带来越来越多的设计缺陷和错误。传统的......
随着集成电路设计的发展和不断更新换代,电路设计周期缩短,使得芯片的验证愈加重要。同时与日俱增的电路复杂程度也使得验证愈加困......
GSM作为全球应用最广泛的移动通信系统，具有与3G中WCDMA系统平滑衔接的特性，其安全性备受关注。移动通信系统的安全性研究具有重要的......
现有权限指派约束往往侧重于保障系统的安全性而忽略了可用性。为此，提出一种兼顾安全性与可用性需求的高阶权限指派约束。定义高阶......
CDCL(Conflict Driven Clause Learning)SAT求解器在形式验证等领域应用广泛,在实际应用中的大量NP问题已经被证明可以转化为SAT问......
首先,构造了ARX分组密码差分特征及线性掩码的传播方程;然后,利用SAT求解器求解传播方程并且判定该传播系统是否为有效传播;最后,......
