阿玛蒂尼，罗伯托;恒河，格雷姆;斯图基，彼得J。 传播莱克斯,找到和代替用虚线串。（英语） Zbl 06982381 van Hoeve，Willem Jan（编辑），《约束编程、人工智能和运筹学的集成》。第15届国际会议，2018年6月26日至29日，荷兰代尔夫特，CPAIOR 2018。诉讼程序。查姆：斯普林格（ISBN 978-3-319-93030-5/pbk；978-3-319-93031-2/电子书）。计算机科学课堂讲稿10848，18-34（2018年）。 摘要：虚线串最近在约束编程中被提出，用来表示在解决字符串上的组合问题时字符串变量的域。这种方法在某些类型的字符串问题上显示了很好的性能，包括字符串相等和连接等约束。但是，有许多字符串约束尚未定义传播子。本文介绍了如何传播字典序（lex），查找和替换虚线字符串。所有这些都是基本的字符串操作：lex是字符串的自然总顺序，而find和replace经常用于字符串操作。我们展示了我们在G形管柱解决方案，使我们能够与最先进的方法竞争。整个系列请参见[Zbl 1388.68011]. 理学硕士： 68吨20 人工智能环境下的问题解决（启发式、搜索策略等） 90C27型 组合优化 软件：通用电气代码;汉比;微量锌;通过;StrSolve公司;瓦普泰克;Z3str3型 PDF格式 BibTeX公司 XML 引用 \texttit{R.Amadini}等，选择。笔记计算。科学。10848，18--34（2018年；Zbl 06982381） 全文： 内政部