有没有可用的基于GPU的约束求解器？CUDA，OpenCL？

Question

3

我正在寻找一个可用的基于GPU的约束求解器，用于解决学校的课程时间表约束问题，即课程编排。

JaCoP是另一个约束求解器https://github.com/radsz/jacop

- Phil

你不能使用多线程或OpenMP库来完成这个任务吗？ - Basile Starynkevitch

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Axel Kemper · Accepted Answer

我不知道是否已有可用的求解器。

但是：
可以使用可满足性求解器来解决时间表问题，如在这篇论文中所讨论的。

CUD@SAT项目演示了如何使用NVIDIA CUDA架构解决SAT问题。使用hpgu.org的搜索工具可能会很有帮助。该网站完全致力于此类项目。