结合有限域求解器和连续域求解器
人工智能
2014-02-07 v1
摘要
在约束规划系统中结合效率和可靠性是CP开发人员的主要关注点之一。本文提出了一种简单而高效的方法来连接Choco和Ibex，这两个CP求解器分别专攻有限域和连续域。这使得能够利用连续领域的最新进展，同时节省开发和维护资源，从而确保更好的软件质量。
引用
@article{arxiv.1402.1361,
title = {Combining finite and continuous solvers},
author = {Jean-Guillaume Fages and Gilles Chabert and Charles Prud'homme},
journal= {arXiv preprint arXiv:1402.1361},
year = {2014}
}
备注
Presented at Workshop TRICS in conference CP'13