PulseAugur
中
实时 09:14:59
English(EN) Accelerated Fourier SAT (AFSAT): Fully Realising a GPU-based Symmetric Pseudo-Boolean SAT Solver

新的GPU求解器AFSAT增强了伪布尔可满足性

作者 PulseAugur 编辑部 · [1 个来源] ·

研究人员开发了加速傅里叶SAT (AFSAT)，一种新的GPU加速伪布尔可满足性问题求解器。AFSAT在之前的概念验证FastFourierSAT的基础上，构建了一个功能齐全的求解器，可以在单个实例中处理混合约束类型和长度。利用JAX编译器进行并行处理和自动微分，AFSAT通过采用自定义离散傅里叶变换实现来解决浮点数限制，展示了增强的数值稳定性、运行时性能和内存效率。 AI

影响 引入了一种新的SAT求解方法，可以加速需要约束满足的AI研究和开发。

排序理由 该集群包含一篇详细介绍新算法和求解器的研究论文。[lever_c_demoted from research: ic=1 ai=1.0]

在 arXiv cs.AI 阅读 →

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →

报道来源 [1]

  1. arXiv cs.AI TIER_1 English(EN) · Cody J Christopher, Charles Gretton ·

    加速傅里叶SAT（AFSAT）：完全实现基于GPU的对称伪布尔SAT求解器

    arXiv:2606.06641v1 Announce Type: new Abstract: We present Accelerated Fourier SAT (AFSAT), a GPU-accelerated solver for pseudo-Boolean satisfiability based on continuous local search (CLS). AFSAT realises the proof-of-concept approach, FastFourierSAT, into a fully-engineered sol…

相关实体

相关话题