OPL公司

OPL中的搜索与策略。OPL是一种用于数学规划和组合优化的建模语言。它是第一种将数学建模语言中的高级代数和集合符号与丰富的约束语言相结合的语言,并且能够指定作为约束编程本质的搜索过程和策略。本文描述了OPL中可用于指定搜索过程的工具。它描述了OPL的抽象,以指定搜索树(搜索)和如何探索它(策略)。本文还说明了如何使用这些高级结构来实现约束编程和调度中的传统搜索过程。


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

显示第1到第20个结果,共33个。
按年份排序(引用)
  1. Edis,Emrah B.:带排序决策的拆卸线平衡问题的约束规划方法(2021)
  2. 阿比丁·切伊尔,塞内尔;克孜勒,达姆拉:多人装配线平衡问题的约束规划模型(2020)
  3. 贝莉,维沙克;De Raedt,Luc:半环规划:广义和积问题的语义框架(2020)
  4. 阿坦,坦库特;切夫达罗卢,伯克:循环赛中休息不匹配最小化(2018)
  5. 劳莉,菲利普;罗杰里,杰罗姆;肖,保罗;Vilím,Petr:用于调度的IBM ILOG CP优化器。IBM/ILOG 20多年的有限制的时间安排(2018年)
  6. 米尔斯,克里斯托弗;德拉班达,玛丽亚加西亚;华莱士,马克;Demoen,Bart:一种检测约束模型中对称性的方法及其推广(2015)
  7. 汉,安东尼F。;Li,Elvis C:基于约束规划的台北捷运系统乘务员排班问题研究(2014)
  8. Aït-Kaci,Hassan:一种抽象、可重用和可扩展的编程语言设计体系结构(2013)
  9. 厄兹图尔克,塞马莱汀;Tunalı,塞姆拉;Hnich,卜拉欣;厄尔尼克,M。阿斯兰:柔性混合模型装配线的平衡与调度(2013)
  10. 施里杰弗斯,汤姆;塔克,吉多;维尔,皮尔;萨穆洛维茨,霍斯特;Stuckey,Peter J.:搜索组合(2013)
  11. 海普克,苏珊娜:快线摩塞尔。多解算器、多问题、多模型、多节点建模和问题求解(2012)
  12. van Hoeve,Willem-Jan:半定规划与约束规划(2012)
  13. 伊尔哈切米,尼扎尔;詹德劳,米歇尔;Rousseau,Louis Martin:原木卡车调度问题的混合约束规划方法(2011)
  14. 高德劳特,乔纳森;弗雷特,让马克;卢梭,阿兰;Sophie D'Amours:联合生产的分散生产系统中的联合计划和调度:木材行业的案例研究(2011)
  15. 枪,头饰;尼森,齐格弗里德;De Raedt,Luc:项集挖掘:约束编程视角(2011)
  16. 马加多,L。;阿鲁达,L。五。R、 。;内维斯,F。六月:联合CLP-MILP方法来安排管道中的商品(2011)
  17. 马苏德,马哈茂德;科赞、尔汗;Geoff Kent:优化甘蔗铁路运营的作业车间调度方法(2011)
  18. 福勒,罗伯特;马军;Martin,Kipp:OSiL:优化实例语言(2010)
  19. 厄运,格雷戈耶;范亨登里克,帕斯卡;Michel,Laurent:基于约束的局部搜索的模型驱动可视化(2009)
  20. 法吉斯,弗朗索瓦;Martin,Julien:用Rules2CP建模语言从规则到约束程序(2009)