使用Gecode解决XCSP问题
摘要：用Gecode来解决约束问题是一种高效的方法。然而，使用Gecode需要处理C++编程细节。另一方面，有几种表示约束网络的格式被提出。其中，XCSP作为一种基于XML的格式被提出，它允许我们以初始或者扩展的方式表示约束，并且支持全局约束。XCSP已经成为国际约束满足问题求解器比赛的标准格式。在本文中，我们提出了一个插件，用于通过利用Gecode求解XCSP中指定的问题。通过动态地将约束转换为Gecode库调用，避免了与C++互动的需要。
作者：Massimo Morara, Jacopo Mauro and Maurizio Gabbrielli
论文ID：1112.6096
分类：Programming Languages
分类简称：cs.PL
提交时间：2011-12-30