BriefGPT.xyz
Aug, 2013
一种增强特征提取器，用于约束求解器的组合
Features for Building CSP Portfolio Solvers
HTML
PDF
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
TL;DR
本文介绍了一种取自不同建模语言（MiniZinc、FlatZinc 或 XCSP）的限制编程（CSP）问题的特征集，用于求解器选择，实验结果显示使用这些特征可与最先进的CSP投资组合技术相竞争
Abstract
Recent research has shown that the performances of a single arbitrarily efficient solver can be significantly outperformed by a
portfolio
of possibly slower on-average solvers. The
solver selection
is usually don
→