搜索筛选:
搜索耗时1.4305秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
发布年度:
[学位论文] 作者：艾森阳,,
来源：西南交通大学 年份：2021
可满足性问题(Satisfiability Problem,SAT问题)是数理逻辑中的一个经典问题,也是自动推理的一个重要研究方向。在理论应用方面,许多的NPC(Non-deterministic Polynomial Complete)问题如图着色问题、欧拉回路问题和旅行商问题等,都可以转化成SAT问题进行求解。......
[期刊论文] 作者：艾森阳,宋振明,沈雪,
来源：计算机系统应用 年份：2020
先进的SAT求解器能够通过有效的分支启发式策略解决大型应用实例.目前VSIDS策略是最具有代表性的基于冲突分析的分支策略,它因其稳健性而被广泛使用,但在每次冲突分析中其判...
[期刊论文] 作者：沈雪,陈树伟,艾森阳,
来源：计算机科学 年份：2020
分支决策是CD CL(Conflict Driven Clause Learning)求解器一个十分关键的环节,一个好的分支策略可以减少分支决策次数进而提高SAT求解器的效率。目前,先进的分支策略大都结...
相关搜索：
