zbMATH中的参考文献(参考 22篇文章,1标准件)

显示第1到第20个结果,共22个。
按年份排序(引用)
  1. Ibrahim,Mohamed Hamza;Pal,Christopher;Pesant,Gilles:利用集群主干改进统计关系模型中的映射推断(2020)
  2. Ouali,Abdelkader;Allouche,David;de Givry,Simon;Loudni,Samir;Lebbah,Yahia;Loukil,Lakhdar;Boizumault,Patrice:图形模型能量最小化的可变邻域搜索(2020)
  3. Fioretto,Ferdinando;Pontelli,Enrico;Yeoh,William;Dechter,Rina:用GPU加速(分布式)离散优化的精确和近似推理(2018)
  4. Gottlob,Georg;Greco,Gianluigi;Scarllo,Francesco:树投影和约束优化问题:固定参数可处理性和并行算法(2018)
  5. Schiendorfer,Alexander;Knapp,Alexander;Anders,Gerrit;Reif,Wolfgang:MiniBrass:MiniZn的软约束(2018)
  6. Chistikov,Dmitry;Dimitrova,Rayna;Majumdar,Rupak:SMT中的近似计数和概率程序的值估计(2017)
  7. Jégou,Philippe;Terrioux,Cyril:结合重启、nogoods和包连接分解来解决CSP(2017)
  8. Nguyen,Hiep;Bessiere,Christian;de Givry,Simon;Schiex,Thomas:基于三角形的成本函数网络一致性(2017)
  9. David Allouche;Christian Bessiere;Boizumault,Patrice;de Givry,Simon;Gutierrez,Patricia;Lee,Jimmy H.M.;Leung,Ka-Lun;Loudni,Samir;Métivier,Jean-Philippe;Schiex,Thomas;Wu,Yi:全球成本函数的可追溯性保持转换(2016)
  10. Carbonnel,Clément;Cooper,Martin C.:约束满足问题中的可处理性:一项调查(2016年)
  11. Barry Hurley;Barry O'Sullivan;Allouche,David;Katsirelos,George;Schiex,Thomas;Zytnicki,Matthias;de Givry,Simon:图形模型离散优化中精确解算器的多语言评估(2016)
  12. Vanegas,Maria Carolina;Bloch,Isabelle;Inglada,Jordi:基于模型的图像解释的模糊约束满足问题(2016)
  13. Cambazard,Hadrien;Fages,Jean-Guillaume:TextScatmostValue及其加权变量的新过滤:拉格朗日方法(2015)
  14. Kolmogorov,Vladimir;Thapper,Johan;Živný,Stanislav:一般值CSP线性规划的力量(2015)
  15. Lallouet,Arnaud;Lee,Jimmy H.M.;Mak,Terrence W.K.;Yip,Justin:极小极大加权约束满足中的超弱解和一致性强制(2015)
  16. David Allouche;André,Isabelle;Barbe,Sophie;Davies,Jessica;de Givry,Simon;Katsirelos,George;O'Sullivan,Barry;Prestwich,Steve;Schiex,Thomas;Traoré,Seydou:计算蛋白质设计作为优化问题(2014)
  17. Lee,J.H.M.;Leung,K.L.;Shum,Y.W.:加权约束满足中多时间线性全局成本函数的一致性技术(2014)
  18. Akblogan,Mahuna;De Givry,Simon;Métivier,Jean-Philippe;Quesnel,Gauthier;Joannon,Alexandre;Garcia,Frédérick:使用硬约束和软约束解决作物分配问题(2013)
  19. Helaoui,Maher;Naanaa,Wady:基于模块化的价值CSP分解(2013)
  20. Morgado,Antonio;Heras,Federico;Liffiton,Mark;Planes,Jordi;Marques Silva,Joao:迭代和核心引导的maxsat解算:调查与评估(2013)