罗伯托·阿马迪尼；格雷姆·恒河；彼得·斯图基（Peter J.Stuckey）。 传播法律,找到和代替带有虚线字符串。 （英语） Zbl 1508.68322号 van Hoeve，Willem-Jan（编辑），约束编程、人工智能和运筹学的集成。2018年6月26日至29日在荷兰代尔夫特举行的2018年CPAIOR第15届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10848，18-34（2018）。 摘要：最近，在约束编程中提出了虚线字符串，用于在解决字符串组合问题时表示字符串变量的域。这种方法在一些涉及字符串相等和串联等约束的字符串问题上表现出了良好的性能。然而，有许多字符串约束尚未定义传播算子。在本文中，我们展示了如何传播字典序（lex），查找并替换为虚线字符串。所有这些都是基本的字符串操作：lex是字符串的自然总顺序，而find和replace经常用于字符串操作。我们展示了我们在中实现的这些传播器G字符串解决方案，使我们能够与最先进的方法竞争。关于整个系列，请参见[Zbl 1388.68011号]. 引用于1文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 68瓦32 字符串上的算法 软件：Z3str3号机组；WAPTEC公司；通过；StrSolve解决方案；汉普；Gecode公司；迷你锌 PDF格式BibTeX公司 XML格式引用 \textit{R.Amadini}等人，Lect。注释计算。科学。10848，18-34（2018；Zbl 1508.68322） 全文： 内政部