摘要翻译：
本文介绍了在四个最先进的约束求解器中所作的设计决策的评价；Choco、ECLiPSe、Gecode和Minion。为了评估设计决策的影响，分别对N皇后、Golomb尺、Magic Square、Social Golfers和平衡不完全区组设计这五类问题进行了建模和求解。实验结果并不是为了给出一个求解器性能的指示，而是为了研究算法和数据结构的选择对求解器性能的影响。对设计决策影响的分析集中在内存管理的不同方式、问题规模增加时的行为以及针对特定类型变量的专门算法上。它还简要地考虑了其他不太重要的决定。
---
英文标题：
《Constraint solvers: An empirical evaluation of design decisions》
---
作者：
Lars Kotthoff
---
最新提交年份：
2010
---
分类信息：

一级分类：Computer Science        计算机科学
二级分类：Artificial Intelligence        人工智能
分类描述：Covers all areas of AI except Vision, Robotics, Machine Learning, Multiagent Systems, and Computation and Language (Natural Language Processing), which have separate subject areas. In particular, includes Expert Systems, Theorem Proving (although this may overlap with Logic in Computer Science), Knowledge Representation, Planning, and Uncertainty in AI. Roughly includes material in ACM Subject Classes I.2.0, I.2.1, I.2.3, I.2.4, I.2.8, and I.2.11.
涵盖了人工智能的所有领域，除了视觉、机器人、机器学习、多智能体系统以及计算和语言（自然语言处理），这些领域有独立的学科领域。特别地，包括专家系统，定理证明（尽管这可能与计算机科学中的逻辑重叠），知识表示，规划，和人工智能中的不确定性。大致包括ACM学科类I.2.0、I.2.1、I.2.3、I.2.4、I.2.8和I.2.11中的材料。
--
一级分类：Computer Science        计算机科学
二级分类：Performance        性能
分类描述：Covers performance measurement and evaluation, queueing, and simulation. Roughly includes material in ACM Subject Classes D.4.8 and K.6.2.
涵盖性能测量和评估、排队和模拟。大致包括ACM主题课程D.4.8和K.6.2中的材料。
--

---
英文摘要：
  This paper presents an evaluation of the design decisions made in four state-of-the-art constraint solvers; Choco, ECLiPSe, Gecode, and Minion. To assess the impact of design decisions, instances of the five problem classes n-Queens, Golomb Ruler, Magic Square, Social Golfers, and Balanced Incomplete Block Design are modelled and solved with each solver. The results of the experiments are not meant to give an indication of the performance of a solver, but rather investigate what influence the choice of algorithms and data structures has.   The analysis of the impact of the design decisions focuses on the different ways of memory management, behaviour with increasing problem size, and specialised algorithms for specific types of variables. It also briefly considers other, less significant decisions.
---
PDF链接：
https://arxiv.org/pdf/1002.0134