arXiv ID:
2602.17130
arXiv 提交日期: 2026-02-19
分解困难电路可满足性实例的高效并行算法 / Efficient Parallel Algorithm for Decomposing Hard CircuitSAT Instances
1️⃣ 一句话总结
这篇论文提出了一种新的并行算法,通过将复杂的电路可满足性问题分解成多个较简单的子问题,并利用并行计算来智能指导分解过程,从而有效解决了逻辑电路验证和密码攻击等领域的计算难题。