zbMATH参考文献(参考12篇文章)

显示第1到第12个结果,共12个。
按年份排序(引用)

  1. 比约达尔,古斯塔夫;弗莱纳,皮埃尔;皮尔森,贾斯汀:通过混合与完全搜索在局部搜索中生成复合移动(2019)
  2. Houndji,Vinasetan Ratheil;Schaus,Pierre;Wolsey,Laurence:依赖于项目的库存成本约束(2019年)
  3. Derval,Guillaume;Régin,Jean-Charles;Schaus,Pierre:带基数约束的装箱改进过滤(2018)
  4. Van Cauwelaert,Sascha;Lombardi,Michele;Schaus,Pierre:全球约束在实践中的效率如何?公平实验框架(2018)
  5. 《Pierre Aoga,Auga,Constructed patterns》(2017年,美国《时间约束:时序规划》)
  6. Houndji,Vinasetan Ratheil;Schaus,Pierre;Hounkonnou,Mahouton Norbert;Wolsey,Laurence:加权树形约束(2017)
  7. van Cauwelaert,Sascha;Schaus,Pierre:资源成本所有不同约束的有效过滤(2017)
  8. Monette,Jean Noël;Beldiceanu,Nicolas;Flener,Pierre;Pearson,Justin:具有离散凸性特性的\textscSumconstraints对的参数传播子(2016)
  9. 比约达尔,古斯塔夫;莫内特,让诺埃尔;弗莱纳,皮埃尔;皮尔森,贾斯汀:MiniZinc基于约束的本地搜索后端(2015)
  10. Pesant,Gilles:实现域一致性和离散约束的计数解决方案(2015)
  11. 肖斯,皮埃尔;Régin,让-查尔斯:约束一致的利差约束。应用于护士到病人分配的负载平衡(2014)
  12. Soh,Takehide;Tamura,Naoyuki;Banbara,Mutsunori:Scarab:基于SAT的约束编程系统的快速原型工具(2013)ioport公司