是否有任何可用的基于 GPU 的约束求解器？CUDA，OpenCL？

Question

我正在寻找一个可用的基于 GPU 的约束求解器来解决学校的受限时间表。约束问题是课程时间表。

http://docs.jboss.org/drools/release/latestFinal/optaplanner-docs/html_single/#curriculumCourse

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

Answer 1

我不知道这种已经可用的求解器。

但是：可
满足性求解器可用于解决本论文中讨论的时间表问题。

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