实体
Cody Christopher PhD
Cody Christopher PhD
PulseAugur coverage of Cody Christopher PhD — every cluster mentioning Cody Christopher PhD across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
新研究探讨并行CLS用于布尔可满足性问题
研究人员探索了并行连续局部搜索（CLS）作为一种解决具有对称伪布尔约束的布尔可满足性问题的方法。研究发现冗余约束会阻碍收敛，并且CLS在混合求解器中作为完成部分赋值的组件具有潜力。此外，由于目标函数中进一步的步骤收益递减，局部搜索能够快速达到稳定的解质量分布。
-
新的GPU求解器AFSAT增强了伪布尔可满足性
研究人员开发了加速傅里叶SAT (AFSAT)，一种新的GPU加速伪布尔可满足性问题求解器。AFSAT在之前的概念验证FastFourierSAT的基础上，构建了一个功能齐全的求解器，可以在单个实例中处理混合约束类型和长度。利用JAX编译器进行并行处理和自动微分，AFSAT通过采用自定义离散傅里叶变换实现来解决浮点数限制，展示了增强的数值稳定性、运行时性能和内存效率。