“可满足性问题”专利关键词查询_检索下载_查询列表_检索列表_行业专利分布_钻瓜专利网

钻瓜专利网为您找到相关结果9240970个，建议您升级VIP下载更多相关专利

[发明专利]基于扩展规则的布尔可满足性问题的求解方法-CN201910747374.2在审
发明人：王金艳;胡春;李先贤 -专利权人：广西师范大学
申请日： 2019-08-14 - 公布日： 2020-01-14 - 主分类号： G06N5/04 文献下载
摘要：本发明公开一种基于扩展规则的布尔可满足性问题的求解方法，首先，设计了适用于扩展规则的CCA
可满足性翻转启发式布尔可满足性问题搜索过程整个空间初始化初始解子空间求解权重规划更新

[发明专利]一种布尔可满足性问题求解方法及系统-CN202011545368.8在审
发明人：屈璋;刘美华;张岩;吕红亮;黄国勇;毕舜阳 -专利权人：国微集团（深圳）有限公司
申请日： 2020-12-23 - 公布日： 2021-03-12 - 主分类号： G06F30/32 文献下载
摘要：本发明公开了一种布尔可满足性问题求解方法及系统，所述方法包括：采用多个并行求解器在设定的阈值条件内对CNF实例进行多线程并行求解，其中，每个并行求解器采用不同的初始变元；每个并行求解器在触发阈值条件后停止求解采用本发明的技术方案，可提高布尔可满足性问题的求解速度。
一种布尔满足问题求解方法系统

[发明专利]一种解决可满足性问题的正交化算法-CN200810039209.3无效
发明人：荆明娥;赵长虹;周电;唐璞山 -专利权人：复旦大学
申请日： 2008-06-19 - 公布日： 2008-10-29 - 主分类号： G06F17/50 文献下载
摘要：本发明属于超大规模集成电路的形式验证技术领域，具体为一种解决SAT问题的正交化算法。该算法首先定义了子句之间的正交关系，然后，从消除子句之间的交叠信息出发，利用正交子句的特性，结合有效的简化技术，逐渐将问题简化为一组与原问题完全等价的正交子句组；最后，根据正交子句组对整个赋值空间的覆盖情况来判断SAT是否满足。本发明方法高效实用，能够加速问题的简化过程，提高解题的运算速度，可适用于超大规模集成电路设计中自动测试向量生成、时序分析、逻辑验证、等价验证等。
一种解决满足问题正交算法

[发明专利]基于可满足性问题SAT的可制造性热点拆线重布方法-CN201010195323.2有效
发明人：蔡懿慈;周强;杨帆 -专利权人：清华大学
申请日： 2010-05-31 - 公布日： 2010-11-24 - 主分类号： G06F17/50 文献下载
摘要：基于可满足性问题SAT的可制造性热点拆线重布方法属于VLSI物理设计领域，其特性在于：它以热点的拓扑结构约束和线网连通性约束为指导，对于区域内的所有重布线网同时建立SAT约束，通过求解该约束问题完成对多条线网同时布线的过程，可以有效的控制新的可制造性热点的产生；同时，由于方法采用了基于区域的拆线重布策略，使得其效率得以保障，又通过动态边界调整和带有偏移量的两阶段拆线重布过程大大提高了版图内的热点消除比率。实验结果证明该方法可以快速有效地消除版图中的可制造性热点，与传统的针对热点的拆线重布算法相比，其收敛性更好，可以更有效地避免新热点的产生，同时保证可以找到一种存在的可行的布线方案。
基于满足问题 sat 制造热点拆线方法

[发明专利]布尔可满足性问题解的搜索方法、装置、电子设备及介质-CN202211163796.3在审
发明人：史峰;张楠;刘大为;刘志鹏 -专利权人：北京芯思维科技有限公司
申请日： 2022-07-21 - 公布日： 2022-11-25 - 主分类号： G06F16/242 文献下载
摘要：本公开涉及一种布尔可满足性问题解的搜索方法、装置、电子设备及计算机可读介质。该方法包括：获取节点集合，所述节点集合包括多个节点，每个节点根据其对应的物理含义确定为正极性和负极性；通过所述节点集合中的部分节点之间的组合生成多个子节点集合；基于所述多个子节点集合生成所述节点集合的布尔可满足性问题对应的合取范式；基于所述合取范式生成所述节点集合对应的邻接矩阵；通过所述邻接矩阵对所述节点集合进行布尔可满足性问题的归结操作；根据归结操作结果行搜索以确定所述节点集合的布尔可满足性问题的解。
布尔满足题解搜索方法装置电子设备介质

[发明专利]一种基于可满足性问题规约的无线频率分配方法-CN201310332813.6有效
发明人：邵泽辉;叶安胜 -专利权人：成都大学
申请日： 2013-08-02 - 公布日： 2013-11-27 - 主分类号： H04W16/14 文献下载
摘要：本发明涉及一种基于可满足性问题规约的无线频率分配方法，包括：A)在给定的频率使用范围内，检测或筛选出所有可用的频率；B)将无线子网抽象为无向网格图的顶点，每一个子网对应一个顶点Vi(i＝1…n)，无向网格图的顶点集为{1，2，…，n}，无线子网之间的关联被抽象为无向网格图的边Ej(j＝1…m)，构成一个无向网格图为G＝(V，E)；C)给每一个顶点分配一种颜色，满足：距离是2的两个顶点的颜色差至少为1，距离是1的两个顶点的颜色差至少为
一种基于满足问题规约无线频率分配方法

[发明专利]布尔可满足性问题解的搜索方法、装置、电子设备及介质-CN202210858627.5有效
发明人：史峰;张楠;刘大为;刘志鹏 -专利权人：北京芯思维科技有限公司
申请日： 2022-07-21 - 公布日： 2022-10-04 - 主分类号： G06F16/242 文献下载
摘要：本公开涉及一种布尔可满足性问题解的搜索方法、装置、电子设备及计算机可读介质。该方法包括：获取节点集合，所述节点集合包括多个节点，每个节点包含正极性和负极性；通过所述节点集合中的部分节点之间的组合生成多个子节点集合；基于所述多个子节点集合生成所述节点集合的布尔可满足性问题对应的合取范式；基于所述合取范式生成所述节点集合对应的邻接矩阵；通过所述邻接矩阵对所述节点集合的布尔可满足性问题解进行搜索。本申请涉及的布尔可满足性问题解的搜索方法、装置、电子设备及计算机可读介质，能够将图算法与稀疏矩阵运算结合，从而优化现有的SAT求解器算法，提高算法的计算效率、减少不必要的开销。
布尔满足题解搜索方法装置电子设备介质

[发明专利]一种求解最大满足性问题的极值优化方法-CN201110221815.9无效
发明人：郑崇伟;曾国强;张正江 -专利权人：温州大学
申请日： 2011-08-04 - 公布日： 2011-12-21 - 主分类号： G06F19/00 文献下载
摘要：本发明公开了一种求解最大满足性问题的极值优化方法，该方法依据可分解和线性原则定义符合极值优化方法要求的局部适应度和全局适应度函数；利用Bose-Einstein概率分布构建优化的初始解；在选择较差局部变量进行变异时
一种求解最大满足问题极值优化方法

[发明专利]一种基于图的布尔可满足性问题的目标算法预测方法-CN201911104913.7在审
发明人：张立言;程劲松 -专利权人：南京航空航天大学
申请日： 2019-11-13 - 公布日： 2020-02-21 - 主分类号： G06Q10/04 文献下载
摘要：本发明公开了一种基于图的布尔可满足性问题的目标算法预测方法，包括以下步骤：设计图结构，然后输入问题集里的每个布尔可满足性问题的原始定义，输出相关的图结构表示并构建一组对应于原始问题的图结构数据集；搭建一个图结构到文档结构的转换模型，构建一组对应于原始布尔可满足性问题的文档数据集；搭建一个文档向量化模型，构建一组对应于原始布尔可满足性问题的向量；选择一个分类模型或回归模型，训练该模型使其学会对布尔可满足性问题的目标算法进行预测。本发明利用图的强大表示能力，将每个SAT问题的原始表示转换成图的逻辑表示，并以无监督的方式从图中学习到有效的特征，最后根据该特征对问题的目标算法预测进行学习并应用。
一种基于布尔满足问题目标算法预测方法

[发明专利]一种基于求解器的布尔可满足性问题处理方法及相关装置-CN202310399013.X在审
发明人：周全;詹东远;张泽阳;王子豪 -专利权人：智因科技（深圳）有限公司
申请日： 2023-04-14 - 公布日： 2023-07-04 - 主分类号： G06F9/30 文献下载
摘要：本发明涉及计算机技术领域，公开了一种基于求解器的布尔可满足性问题处理方法及相关装置，用于提高布尔可满足性问题计算的计算效率。
一种基于求解布尔满足问题处理方法相关装置

[发明专利]求解加权最大可满足性问题的局部搜索求解方法和系统-CN201711034941.7在审
发明人：初一;罗川;尤海航 -专利权人：中国科学院计算技术研究所
申请日： 2017-10-30 - 公布日： 2019-05-07 - 主分类号： G06F17/18 文献下载
摘要：本发明涉及一种求解加权最大可满足性问题的局部搜索求解方法和系统，包括：搜索第一变量，若存在则在所有第一变量中选择第一分数最大的变量进行翻转；否则搜索第二变量，若存在则在所有第二变量中选择总分数最大的变量进行翻转；否则搜索未满足硬子句，若存在则在所有未满足硬子句中随机选中一未满足硬子句，并在选中的未满足硬子句中随机选择一个变量进行翻转，否则随机选中一未满足软子句并在选中的未满足软子句中随机选择一个变量进行翻转，
翻转求解局部搜索可满足性问题搜索迭代搜索随机选择加权选中策略限制判断步骤总分数检测

[发明专利]一种基于CDCL算法和计算机代数的逻辑等价性验证方法-CN202310254694.0在审
发明人：杨航;杨启涵;蔡志匡;汤谨溥;王子轩;肖建;郭宇锋 -专利权人：南京邮电大学
申请日： 2023-03-16 - 公布日： 2023-06-23 - 主分类号： G06F30/398 文献下载
摘要：算法和计算机代数的逻辑等价性验证方法，包括步骤如下：S1,读入反向图文件，以内部编码的形式存储在软件中，运用计算机代数，将原电路中的加法器进行替换；S2，将待验证的两个电路的每一级输出通过异或门相连，连接为一个电路，以布尔可满足性问题文件输出；S3，读入布尔可满足性问题文件输出，运用CDCL算法对布尔可满足性问题文件进行求解。本发明的求解器求解前替换了部分加法器，使得电路复杂度降低，求解乘法器电路的等价性问题所需时间更短，内存开销更小。
一种基于 cdcl 算法计算机代数逻辑等价验证方法

[发明专利]超大规模集成电路验证的可满足性问题的解决方法-CN03151031.0无效
发明人：丁敏;唐璞山 -专利权人：复旦大学
申请日： 2003-09-18 - 公布日： 2004-09-01 - 主分类号： H01L21/82 文献下载
摘要：本发明为一种解决超大规模集成电路验证的可满足性问题方法。它以深度优先搜索为基础，加入了推理过程，并利用推理过程对决策的策略做了相应的改进。
超大规模集成电路验证满足问题解决方法

[发明专利]一种基于深度学习的加速最大可满足性问题局部搜索方法-CN202211199815.8在审
发明人：刘婵娟;刘广源;罗川;张文杰 -专利权人：大连理工大学
申请日： 2022-09-29 - 公布日： 2022-12-09 - 主分类号： G06N5/04 文献下载
摘要：本发明提出了一种基于深度学习的加速最大可满足性问题局部搜索方法，属于布尔可满足性问题的局部搜索求解技术领域。本发明可以在不同PMS局部搜索求解器使用之前，输入将要求解的对应PMS问题，随后通过门控图卷积神经网络(GGCN)和多边图卷积神经网络(MGCN)输出一组确定初始解分配。
一种基于深度学习加速最大满足问题局部搜索方法

[发明专利]一种形式化验证约束求解的方法及相关设备-CN202111017240.9在审
发明人：孙军;张越龄;高海 -专利权人：华为技术有限公司;新加坡管理大学
申请日： 2021-08-31 - 公布日： 2023-03-03 - 主分类号： G06F8/41 文献下载
摘要：本申请实施例公开了一种形式化验证约束求解的方法及相关设备，涉及形式化验证领域，该方法将形式化验证中约束表达式可满足性问题转化成最优化问题，通过最优化方法快速求解最优化问题的解，所得的最优化问题的解即是约束表达式可能的可行解，由此不需要将约束表达式展开成布尔可满足性问题求解，大大提升了约束求解器的求解效率。
一种形式化验证约束求解方法相关设备

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
下一页»
尾页
共 100000 条