zbMATH中的参考文献（参考文献115篇)

1. 不，耶；Strichman，Ofer:使用最优算法组合实时解决计算困难问题（2021）
2. Nguembang Fadja，阿诺；概率学习课程（Fabrizio Lived，2019）
3. 拜尔，德克；古尔瓦尼，苏米特；Schmidt，David A.：结合模型检查和数据流分析（2018）
4. 戈林，安德烈；Ramakrishnan，C.R.：可分离的GPL：具有更多非确定性的可判定模型检验（2018）
5. Van Cauwelaert，萨沙；伦巴第，米歇尔；Schaus，Pierre：全球约束在实践中的效率如何？公平实验框架（2018）
6. 米歇尔，L。；Van Hentenryck，P.：约束编程的微内核架构（2017）
7. Riguzzi，Fabrizio:带函数符号的正态程序的分布语义（2016）
8. 伊瑟，马库斯；曼蒂，诺伯特；Sinz，Carsten:CNF公式中嵌套门的识别（2015）
9. Hanus，Michael:函数逻辑编程：从理论到Curry（2013）
10. 奥拉特，卡洛斯；鲁达，卡米洛；Valencia，Frank D.：并发约束编程的模型和新兴趋势（2013）
11. 施里杰弗斯，汤姆；塔克，吉多；维尔，皮尔；萨穆洛维茨，霍斯特；Stuckey，Peter J.：搜索组合（2013）
12. 戈林，安德烈；罗摩克里希南，C.R。；Smolka，Scott A.：概率表逻辑编程的模型检验（2012）
13. 洛佩斯，里卡多；科斯塔，维托尔桑托斯；费尔南多·席尔瓦：扩展安道尔模式的设计与实施（2012）
14. 和硕、弘石；佐藤，肯；马，杰飞；拉索，亚历山德拉；Broda，Krysia:层次代理的推测性约束处理（2010）
15. 瘟疫，但以理；Leuschel，Michael:Seven at one stroke:LTL模型检查B、Z、CSP等的高级规范（2010）ioport公司
16. 施利希，巴斯蒂安；Kowalewski，Stefan:嵌入式系统的模型检查C源代码（2009）ioport公司
17. 布塞米，玛丽亚·格拉齐亚；Montanari，Ugo:基于约束的编程范式调查（2008）
18. 鲁舍尔，迈克尔；自动化分析工具集：Michael Butler Bioport公司
19. 曼奇尼，托尼；戴维德，米卡莱托；帕特里齐，法比奥；马可·卡多利：在CSPLib上评估ASP和商业解决方案（2008）
20. Braßel，Bernd:解释函数逻辑计算轨迹的框架（2007）