巧克力

CHOCO是一个用于约束满足问题(CSP)和约束编程(CP)的java库。它是基于具有可回溯结构的基于事件的传播机制构建的。


zbMATH中的参考文献(参考文献64条)

显示第1到第20个结果,共64个。
按年份排序(引用)
  1. 奥德马尔,吉尔;布塞马特,弗里德里克;勒库特,克里斯托夫;皮埃特,塞德里克;罗塞尔,奥利维尔:XCSP(^3)及其生态系统(2020)
  2. Maximiliano Cristiá,Andrea Fois,Gianfranco Rossi:使用JSetL在Java中使用内涵集的声明性编程(2020)阿尔十四
  3. 乌姆拉尼,穆罕默德胺;Nawady图的生成和Nawady图的应用
  4. Ikram Saadaoui;李志武;吴乃琪:部分观测Petri网中的当前状态不透明度建模与验证(2020)
  5. 劳莉,菲利普;罗杰里,杰罗姆;肖,保罗;Vilím,Petr:用于调度的IBM ILOG CP优化器。IBM/ILOG 20多年的有限制的时间安排(2018年)
  6. 斯琴多夫,亚历山大;克纳普,亚历山大;安德斯,格瑞特;Reif,Wolfgang:MiniBrass:MiniZn的软约束(2018)
  7. 加贝,米夏埃尔;布劳纳,娜迪亚;Vladimir Kotov:改进的在线bin拉伸问题的下界(2017)
  8. 米歇尔,L。;Van Hentenryck,P.:约束编程的微内核架构(2017)
  9. 米诺特,玛尔;恩迪亚耶,桑巴-恩多杰;Solnon,Christine:结合CP和ILP在有界高度树分解中的和着色问题(2017)
  10. 穆罕默德·瓦赫比;格里姆斯,迪亚米德;梅塔,迪帕克;布朗,肯尼斯N。;O'Sullivan,Barry:地理分布数据中心问题的分布式优化方法(2017)
  11. 希玛列夫,马克西姆;米尔斯,克里斯托弗;塔克,吉多;Garcia de la Banda,Maria:视觉搜索树分析(2016)
  12. 格里高尔,çric;拉涅兹,让-玛丽;Mazure,Bertrand:关于去除MUC查找算法中的预处理最小化步骤(2015)
  13. 拉德乌斯,弗里德里克;蒙弗里,埃里克;克劳福德,布罗德里克;Soto,Ricardo:设置约束模型和自动编码到SAT:应用于社会高尔夫球手问题(2015)
  14. 勒特,阿诺;卡尔森,马茨;Beldiceanu,Nicolas:可伸缩调度约束的同步扫描算法(2015)
  15. 普雷斯特维奇。D、 。;塔里木南部。A、 。;罗西,R。;Hnich,B.:随机约束规划的混合元启发式(2015)
  16. 罗西,罗伯托;Hnich,卜拉欣;塔里木南部。阿玛根;Prestwich,Steven:随机约束规划中基于置信度的推理(2015)
  17. 贝林,布鲁诺;克里斯蒂,马克;Truchet,Charlotte:使用分布式局部搜索求解器的可持续城市交互式设计(2014)ioport公司
  18. 法格斯,让纪尧姆;Lapègue,Tanguy:带差异约束的过滤大气值:应用于轮班最小化人员任务调度问题(2014)
  19. 赫尔利,巴里;考特霍夫,拉尔斯;马利茨基,尤里;O'Sullivan,Barry:Proteus:求解器和转换的分层组合(2014)ioport公司
  20. 帕特里克·普洛瑟:《稳定的室友与约束编程》(2014)