一种用于约束求解的多核工具
人工智能
2015-05-01 v3
摘要
*** 拟发表于 IJCAI 2015 论文集 *** 在约束规划 (CP) 中，组合求解器利用多种不同的求解器来解决给定的约束满足/优化问题。本文介绍了 sunny-cp2：首个并行 CP 组合求解器，它能够在多核环境中实现其求解器的动态、协作和同步执行。它集成了最先进的求解器，并提供了一个可用且可配置的框架。实证结果非常有前景。sunny-cp2 甚至能超越 Oracle 求解器的性能，后者总是为给定问题选择组合中最佳的求解器。
引用
@article{arxiv.1502.03986,
title = {A Multicore Tool for Constraint Solving},
author = {Roberto Amadini and Maurizio Gabbrielli and Jacopo Mauro},
journal= {arXiv preprint arXiv:1502.03986},
year = {2015}
}