Propagating \textsc{lex}, \textsc{find} and \textsc{replace} with dashed strings

DOI10.1007/978-3-319-93031-2_2OpenAlexW2805568784MaRDI QIDQ1626699

Graeme Gange, Roberto Amadini, Peter J. Stuckey

Publication date: 21 November 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-93031-2_2

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Algorithms on strings (68W32)

Related Items (1)

Dashed strings for string constraint solving

Uses Software

• MiniZinc
• Gecode
• HAMPI
• WAPTEC
• StrSolve
• PASS
• Z3str3

This page was built for publication: Propagating \textsc{lex}, \textsc{find} and \textsc{replace} with dashed strings