我们拥有巨大的 MAX-CSP 实例，其中包含数百万个变量和约束。
对于任何 CSP 求解器，是否有任何与 Apache Spark 或类似的大数据集成？或者其他一些可用的大数据并行化方式？
如果没有，是否有可能完全并行处理 MAX-CSP？或者也许只在某些条件下使用问题的结构？
找不到任何关于此的信息...反之亦然，通过约束编程管理大数据流程等：-/
此致
亮度
我已经搜索过：
- 所有 CSP 求解器的“Spark”和“大数据”显示在http://xcsp.org/
- 《大数据约束规划》等
问问题
87 次