罗伯托·阿马迪尼;皮埃尔·弗莱纳;贾斯汀·皮尔逊;约瑟夫·斯科特。;彼得·斯图基（Peter J.Stuckey）。;塔克，吉多 带字符串的迷你锌。 （英语） Zbl 1485.68027号 Hermenegildo，Manuel V.（编辑）等，基于逻辑的程序合成和转换。第26届国际研讨会，LOPSTR 2016，英国爱丁堡，2016年9月6日至8日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10184, 59-75 (2017). 摘要：字符串在现代编程语言中广泛使用，对未知长度字符串的约束出现在广泛的现实应用程序中，例如软件分析和验证、测试、模型检查和web安全。然而，实际上没有约束编程解算器本身支持字符串约束。我们引入字符串变量和一组合适的字符串约束作为MiniZin建模语言的内置功能。此外，我们定义了一个解释器，用于将带字符串的MiniZin模型转换为仅依赖整数变量的FlatZin实例。此转换是通过重写规则获得的，不需要对现有的FlatZin规范进行任何扩展。这为用字符串建模组合问题提供了一个用户友好的界面，并使字符串和非字符串解算器都能实际解决此类问题。关于整个系列，请参见[Zbl 1369.68025号]. 引用于1文件 MSC公司： 68甲15 编程语言理论 68N20型 编译与解释理论 68瓦32 字符串上的算法 软件：Gecode公司;奥斯卡.cbls;汉普;诺恩;陌生人;WAPTEC公司;Picat-SAT卫星;iZplus公司;StrSolve解决方案;扁平锌;通过;Z3-街道;迷你锌;第3页;古罗比 PDF格式BibTeX公司 XML格式引用 \textit{R.Amadini}等人，Lect。注释计算。科学。10184，59-75（2017；Zbl 1485.68027） 全文： 内政部 arXiv公司 链接