搜索到272篇“ 布尔可满足性“的相关文章
全部数字资源类型
相关度排序
一种将布尔可满足性问题转化为3-着色问题的方法
本发明涉及计算机科学领域，尤其涉及一种将布尔可满足性问题（SAT）转化为3‑着色问题的方法。该方法通过特定的图结构和着色约束，将SAT公式中的变量和子句映射为图的顶点，并通过边表示逻辑约束，使得布尔公式的求解转化为图着色...
余乐杨安琪冷煌
一种布尔可满足性问题求解方法及系统
本发明公开了一种布尔可满足性问题求解方法及系统，所述方法包括：采用多个并行求解器在设定的阈值条件内对CNF实例进行多线程并行求解，其中，每个并行求解器采用不同的初始变元；每个并行求解器在触发阈值条件后停止求解，并记录求解...
屈璋刘美华张岩吕红亮黄国勇毕舜阳
一种布尔可满足性问题求解器及求解方法
本发明公开了一种布尔可满足性问题求解器及求解方法。本发明包括变量信息存储模块、监督子句索引存储模块、子句文字存储模块、单元传播过程逻辑模块、冲突分析过程逻辑模块和分支决策过程逻辑模块；每个变量对应一个条目，包含变量当前赋...
陶悦蔡少伟
布尔可满足性问题求解器的运算时间预测方法及相关设备
本申请提供一种布尔可满足性问题求解器的运算时间预测方法及相关设备。所述方法包括：基于所述布尔可满足性问题构建虚拟增强文字关联图；该虚拟增强文字关联图指示所述布尔可满足性问题求解器的计算过程；根据所述虚拟增强文字关联图，构...
杨文涛
一种用于芯片逻辑设计的布尔可满足性验证方法及系统
本发明公开了一种用于芯片逻辑设计的布尔可满足性验证方法及系统，所述方法包括：对CNF实例中每个变元的权重进行计算，选择所述权重最高的变元作为SAT求解器的第一个分支变元。采用本发明的技术方案，可提高SAT求解器的解算速度...
李鹏飞刘美华张岩黄国勇
基于布尔可满足性的电路自动测试向量的压缩方法和装置
本申请公开了一种基于布尔可满足性的电路自动测试向量的压缩方法和装置。其中，该方法包括：获取目标芯片的原始测试向量集和测试故障集，原始测试向量集包括多条测试向量；利用原始测试向量集的第一测试向量子集，对测试故障集中的所有测...
晁志腾 叶靖
基于布尔可满足性的电路自动测试向量的压缩方法和装置
本申请公开了一种基于布尔可满足性的电路自动测试向量的压缩方法和装置。其中，该方法包括：获取目标芯片的原始测试向量集和测试故障集，原始测试向量集包括多条测试向量；利用原始测试向量集的第一测试向量子集，对测试故障集中的所有测...
晁志腾 叶靖
一种基于过程中分治的布尔可满足性问题并行求解方法
本发明公开了一种基于过程中分治的布尔可满足性问题并行求解方法，其步骤包括：1)对于待求解的电路，所述电路采用与非图格式表示，包含电路的结构和待测试属性；利用Master线程的CNF预处理器对所述电路的CNF文件进行简化；...
张昕荻蔡少伟
基于布尔可满足性的精确逻辑综合综述被引量：2
2023年
逻辑综合是电子设计自动化(EDA)的重要步骤,随着算力逐渐提升和新的计算范式不断涌现,传统基于全局启发式算法的逻辑综合面临新的挑战。启发式算法面临的主要问题是得到一个次优解,随着算力的提升,逻辑优化越来越追求精确解而不满足于次优解。该文首先简述逻辑函数表达方法和布尔可满足性(SAT)问题;其次针对精确综合的算法、编码等方面介绍了在布尔逻辑网络的面积优化和深度优化方面的精确综合研究进展;最后对精确综合的未来发展趋势进行讨论。
储著飞潘鸿洋
关键词：逻辑综合布尔可满足性
基于布尔可满足性问题的对称密码分析方法研究
在科技高速发展的今天,人们正因信息技术所带来的便捷性而受益,但同时也承受着信息安全问题所导致的隐患。密码技术作为保障信息安全的重要因素,受到各国的高度重视。密码学可分为密码编码学和密码分析学两个小类,密码编码学主要研究如...
秦愿
关键词：密码分析分组密码哈希函数
加载更多 ∨

相关作者

刘歆
作品数：15被引量：20H指数：3
供职机构：湖北工业大学电气与电子工程学院
研究主题：布尔可满足性 合取范式 数字电路 故障仿真 逻辑电路
李光辉
作品数：131被引量：513H指数：12
供职机构：浙江大学
研究主题：应力波 木材 应力波传播 无线传感器网络 无损检测
张建民
作品数：124被引量：34H指数：4
供职机构：国防科学技术大学
研究主题：报文 求解器 互连网络 芯片 网络接口芯片
黎铁军
作品数：137被引量：38H指数：4
供职机构：国防科学技术大学
研究主题：固态盘 服务器 体系结构 信号完整性 感知
邵明
作品数：19被引量：48H指数：6
供职机构：中国科学院计算技术研究所
研究主题：等价性检验 布尔可满足性 组合电路 等价性 集成电路