zbMATH中的参考文献（参考文献7条)

1. 阿卜杜拉，帕罗什·阿齐兹；阿蒂格，Mohamed Faouzi；迪普，比菲；霍利克，卢卡什；Janků，Petr:自由链约束（2019）
2. 阿玛蒂尼，罗伯托；马克·安德隆；恒河，格雷姆；沙赫特，彼得；桑德加德，哈拉尔德；Stuckey，Peter J.：JavaScript动态符号执行的约束编程（2019）
3. 阿塞利，文琴佐；奥利亚罗，玛蒂娜；科特斯，阿戈斯蒂诺；Mastroeni，Isabella:JavaScript程序字符串分析的抽象域的完整性（2019）
4. 白天，乔尔D。；加内什，维杰；他，保罗；玛尼娅，弗洛林；Nowotka，Dirk:词方程的可满足性：可判定与不可判定理论（2018）
5. 阿玛蒂尼，罗伯托；弗莱纳，皮埃尔；皮尔逊，贾斯汀；斯科特，约瑟夫D。；斯图基，彼得J。；Tack，Guido:Minizinc with strings（2017年）
6. Berzish，M.，Ganesh，V.，Zheng，Y.：Z3str3：具有理论意识分支的字符串解算器（2017）阿尔十四
7. 斯科特，约瑟夫D。；弗莱纳，皮埃尔；皮尔逊，贾斯汀；Schulte，Christian:有界长度序列变量的设计与实现（2017）