Amadini, Roberto; Gange, Graeme; Stuckey, Peter J. Propagating lex, find and replace with dashed strings. (English) Zbl 06982381 van Hoeve, Willem-Jan (ed.), Integration of constraint programming, artificial intelligence, and operations research. 15th international conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10848, 18-34 (2018). Summary: Dashed strings have been recently proposed in constraint programming to represent the domain of string variables when solving combinatorial problems over strings. This approach showed promising performance on some classes of string problems, involving constraints like string equality and concatenation. However, there are a number of string constraints for which no propagator has yet been defined. In this paper, we show how to propagate lexicographic ordering (lex), find and replace with dashed strings. All of these are fundamental string operations: lex is the natural total order over strings, while find and replace are frequently used in string manipulation. We show that these propagators, that we implemented in G-Strings solver, allows us to be competitive with state-of-the-art approaches.For the entire collection see [Zbl 1388.68011]. Cited in 1 Document MSC: 68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) 90C27 Combinatorial optimization Software:Z3str3; HAMPI; Gecode; MiniZinc; PASS ; StrSolve; WAPTEC PDF BibTeX XML Cite \textit{R. Amadini} et al., Lect. Notes Comput. Sci. 10848, 18--34 (2018; Zbl 06982381) Full Text: DOI OpenURL