CSPLib公司

CSPLib是一个约束求解器的测试问题库。该库包括:按主题领域组织的问题和提交新问题的问题编号指南关于库的论文(postscript或html)及其bibtex参考(也可从APES技术报告页获得)相关基准库列表约束求解器的更改历史CSPLib的主要动机是把研究重点放在约束上,而不是纯粹的随机问题,而是更多的结构化问题上。


zbMATH中的参考文献(参考文献92篇文章)

显示第1到第20个结果,共92个。
按年份排序(引用)
  1. 奥德马尔,吉尔;法国布塞马特édé风险投资委员会;勒库特,克里斯托夫;皮埃特,Cédric公司;罗塞尔,奥利维尔:XCSP(^3)及其生态系统(2020)
  2. 梅奇兰,尤恩斯;穆罕默德·瓦赫比;贝西埃,基督徒;Brown,Kenneth N.:在分布式约束满足问题的异步回溯中重新排序所有代理(2020)
  3. 帕奎,Cé利亚;克拉玛,伊夫;Pironet,Thierry:具有实时中断的dial-a-ride系统的恢复管理(2020)
  4. 劳莉,菲利普;罗格里,Jérô我;肖,保罗;维尔ím、 用于调度的ibmilogcp优化器。IBM/ILOG 20多年的有限制的时间安排(2018年)
  5. 亚武兹,梅苏特;麦金,Hüseyin:车辆排序和水平调度问题的高级约束传播(2018)
  6. 贝西埃,基督徒;科里切,法国édé风险投资委员会;拉扎尔,纳吉布;奥沙利文,巴里:约束收购(2017)
  7. 科恩,大卫A。;Jeavons,Peter G.:传播的力量:当GAC足够时(2017)
  8. 李,吉米H。M、 。;朱自琛:在部分对称破缺中打破更多的合成对称(2017)
  9. 利奥,凯文;Tack,Guido:调试不可满足的约束模型(2017)
  10. 南丁格尔,彼得;Akg公司ün,Özg公司ür;根特,伊恩·P。;杰斐逊,克里斯托弗;米格尔,伊恩;Spracklen,Patrick:自动改进Savile Row的约束模型(2017)
  11. 佩雷斯,纪尧姆;Régin,Jean-Charles:MDD是有效的建模工具:对一些统计约束的应用(2017)
  12. 斯科特,约瑟夫D。;弗莱纳,皮埃尔;皮尔逊,贾斯汀;Schulte,Christian:有界长度序列变量的设计与实现(2017)
  13. Sutcliffe,Geoff:TPTP问题库和相关基础设施。从CNF到TH0,TPTP v6.4.0(2017)
  14. van Cauwelaert,萨沙;Schaus,Pierre:《资源成本所有不同约束的有效过滤》(2017)
  15. 阿玛蒂尼,罗伯托;加布里埃利,毛里齐奥;Mauro,Jacopo:为什么CP投资组合解决方案的利用率(不足)?问题与挑战(2015)
  16. 卡努,伊夫;科多涅特,菲利普;弗罗里安里丘;迪亚兹,丹尼尔;Abreu,Salvador:基于约束的局部搜索的大规模并行:costas阵列案例研究(2015)
  17. Lardeux,法国édé风险投资委员会;蒙弗里,埃里克;克劳福德,布罗德里克;Soto,Ricardo:设置约束模型和自动编码到SAT:应用于社会高尔夫球手问题(2015)
  18. 米尔斯,克里斯托弗;德拉班达,玛丽亚加西亚;华莱士,马克;用于检测对称性的Barte en模型(2015)
  19. Pesant,Gilles:实现域一致性和离散约束的计数解决方案(2015)
  20. 艺术家,基督徒;希伯拉德,以马内尔;梅耶艾希伯格,瓦伦丁;锡亚拉,穆罕默德;沃尔什,托比:汽车排序问题的SAT和混合动力模型(2014)