Probabilistic-bit Guided CDCL for SAT Solving using Ising Consensus Assumptions

该论文提出一种混合SAT求解框架，将概率比特（p-bit）Ising采样器与经典冲突驱动子句学习（CDCL）求解器结合。传统CDCL求解器在可满足性实例上仍需大量冲突分析与布尔传播才能定位有效搜索区域。本文方法利用p-bit Ising采样

历史摘要 · 未重新核验 · arXiv cs.CR