BriefGPT.xyz
Ask
alpha
关键词
hierarchical parallelism
搜索结果 - 1
HordeSat:一个高并行的 SAT 求解器组合器
本研究探讨了在大规模并行 SAT 问题求解中应用基于投资组合的分布式 SAT 求解方法,并实现了一个名为 HordeSat 的可扩展的并行 SAT 求解器,其使用分层并行和分布式设计,实现了数百到数千个处理器的可观加速效果。
PDF
9 years ago
Prev
Next