CSPLib：二十年回顾
人工智能
2019-10-01 v1
摘要
1999年，我们引入了CSPLib，一个面向约束社区的基准库。我们关于CSPLib的CP-1999海报论文讨论了构建此类库的优缺点。与定理证明或机器学习等其他领域不同，表示在当时以及今天仍是解决问题成败的关键问题。因此CSPLib中的基准以自然语言指定，因为这允许用户自行找到良好的表示。社区反应积极，CSPLib已成为宝贵资源，但正如我们在此讨论的，我们不能止步不前。
引用
@article{arxiv.1909.13430,
title = {CSPLib: Twenty Years On},
author = {Ian Gent and Toby Walsh},
journal= {arXiv preprint arXiv:1909.13430},
year = {2019}
}