Accelerated Fourier SAT

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

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