约束求解器：设计决策的实证评估
人工智能
2010-02-02 v1 性能
摘要
本文评估了四种最先进的约束求解器（Choco、ECLiPSe、Gecode 和 Minion）的设计决策。为了评估设计决策的影响，我们对五类问题实例（n 皇后、Golomb 尺、幻方、社交高尔夫球手和平衡不完全区组设计）进行了建模，并使用每个求解器进行求解。实验结果并非旨在指示求解器的性能，而是研究算法和数据结构的选择所产生的影响。对设计决策影响的分析侧重于不同的内存管理方式、随问题规模增大时的行为以及针对特定变量类型的专用算法。本文还简要考虑了其他不太重要的决策。
引用
@article{arxiv.1002.0134,
title = {Constraint solvers: An empirical evaluation of design decisions},
author = {Lars Kotthoff},
journal= {arXiv preprint arXiv:1002.0134},
year = {2010}
}