CSPLib公司

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


zbMATH参考文献(91篇文章引用)

显示结果1到20,共91个。
按年份排序(引用)
  1. Mechqrane,Younes;Wahbi,Mohamed;Bessiere,Christian;Brown,Kenneth N.:在分布式约束满足问题的异步回溯中重新排序所有代理(2020)
  2. 帕奎,塞利亚;克拉马,伊夫;皮罗内,蒂埃里:带实时中断的拨号搭车系统的恢复管理(2020年)
  3. Laborie,Philippe;Rogerie,Jérôme;Shaw,Paul;Vilím,Petr:IBM ILOG CP调度优化器。IBM/ILOG 20多年的有限制的时间安排(2018年)
  4. Yavuz,Mesut;Ergin,Hüseyin:组合车辆排序和水平调度问题的高级约束传播(2018)
  5. 贝西尔,克里斯蒂安;科里奇,弗里德里克;拉扎尔,纳吉布;奥沙利文,巴里:约束收购(2017年)
  6. Cohen,David A.;Jeavons,Peter G.:传播的力量:当GAC足够时(2017)
  7. Lee,Jimmy H.M.;Zhu,Zhichen:在部分对称性破坏中打破更多的合成对称性(2017)
  8. Leo,Kevin;Tack,Guido:调试不可满足的约束模型(2017)
  9. Peter Nightingale;Aggün,厄兹格尔;Gent,Ian P.;Jefferson,Christopher;Miguel,Ian;Spracklen,Patrick:自动改进Savile Row的约束模型(2017)
  10. Perez,Guillaume;Régin,Jean-Charles:MDD是有效的建模工具:对某些统计约束的应用(2017)
  11. Scott,Joseph D.;Flener,Pierre;Pearson,Justin;Schulte,Christian:有界长度序列变量的设计与实现(2017)
  12. Sutcliffe,Geoff:TPTP问题库和相关基础设施。从CNF到TH0,TPTP v6.4.0(2017)
  13. van Cauwelaert,Sascha;Schaus,Pierre:资源成本所有不同约束的有效过滤(2017)
  14. 阿马蒂尼,罗伯托;加布里埃利,毛里齐奥;毛罗,雅各布:为什么CP投资组合解决方案被(低)利用?问题和挑战(2015)
  15. Caniou,Yves;Codognet,Philippe;Richoux,Florian;Diaz,Daniel;Abreu,Salvador:基于约束的局部搜索的大规模并行:costas数组案例研究(2015)
  16. Lardeux,Frédéric;Monfroy,Eric;Crawford,Broderick;Soto,Ricardo:设置约束模型并自动编码到SAT中:应用于社交高尔夫球手问题(2015)
  17. Mears,Christopher;de la Banda,Maria Garcia;Wallace,Mark;Demoen,Bart:一种检测约束模型中对称性的方法及其推广(2015)
  18. Pesant,Gilles:实现域一致性和离散约束的计数解决方案(2015)
  19. Artigues,Christian;Hebrard,Emmanuel;Mayer Eichberger,Valentin;Siala,Mohamed;Walsh,Toby:汽车排序问题的SAT和混合动力模型(2014)
  20. Ceschia,Sara;Di Gaspero,Luca;Schaerf,Andrea:异质班级的广义均衡学术课程问题(2014)