zbMATH中的参考文献（参考 22篇文章，1标准件)

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）