zbMATH中的参考文献（参考 76篇文章 引用，2标准条款)

1. Gilles的Audemard；Boussmart，Frédéric；Lecoutre，Christophe；Piette，Cédric；Roussel，Olivier:XCSP（^3）及其生态系统（2020）
2. Gerault，David；Lafourcade，Pascal；Minier，Marine；Solnon，Christine：用约束编程计算AES相关关键微分特性（2020）
3. 塞巴斯蒂安尼，罗伯托；特伦丁，帕特里克：\textsoptimathsat：优化模理论的工具（2020）
4. Amadini，Roberto；Andrlon，Mak；Gange，Graeme；Schachte，Peter；Søndergaard，Harald；Stuckey，Peter J.：JavaScript动态符号执行的约束编程（2019）
5. 比约达尔，古斯塔夫；弗莱纳，皮埃尔；皮尔森，贾斯汀：通过混合与完全搜索在局部搜索中生成复合移动（2019）
6. Calimeri，Francesco；Ianni，Giovambattista；Pacenza，Francesco；Perri，Simona；Zangari，Jessica:overgrounding的增量答案集编程（2019）
7. Geibinger，Tobias；Mischek，Florian；Musliu，Nysret：调查现实世界工业测试实验室调度的约束编程（2019）
8. Kamiłski，Bogumił；Olczak，Tomasz；Prałat，Paweł：具有随机依赖图的并行执行计划（2019年）
9. Kletzander，Lucas；Musliu，Nysret：建模和解决最小移位设计问题（2019年）
10. Wang，Wenxi；Søndergaard，Harald；Stuckey，Peter J.：Wombit：使用词级传播的投资组合位向量解算器（2019年）
11. 阿马蒂尼，罗伯托；加布里埃利，毛里齐奥；毛罗，雅各布：阳光-CP和迷你锌挑战赛（2018）
12. Amadini，Roberto；Gange，Graeme；Stuckey，Peter J.：传播\textsclex、\textscfindand\textscReplacewithdash strings（2018年）
13. Enright，Jessica；Meeks，Kitty:删除边缘以限制流行病的规模：treewidth的新应用（2018）
14. 弗洛伊德，尤金·C.：迈向圣杯的进展（2018）
15. Hooker，J.N.；van Hoeve，W.-J.：约束规划和运筹学（2018）
16. 黄，裴；马，菲菲；葛存菁；张健；张汉涛：通过可满足性检验研究大集幂等拟群的存在性（2018）
17. Kreter，Stefan；Schutt，Andreas；Stuckey，Peter J.；Zimmermann，Jürgen:用于解决资源可用性成本问题的混合整数线性规划和约束规划公式（2018）
18. Lvov，M.；Peschanenko，V.；Letychevskyi，O.；Tarasich，Y.；Baiev，A.：构造线性半代数公式规范形式的算法和工具（2018）
19. Schiendorfer，Alexander；Knapp，Alexander；Anders，Gerrit；Reif，Wolfgang:MiniBrass:MiniZn的软约束（2018）
20. Vion，Julien；Piechouiak，Sylvain:从MDD到BDD和arc一致性（2018）