On solving word equations using SAT
From MaRDI portal
Publication:2330594
DOI10.1007/978-3-030-30806-3_8OpenAlexW2971997611MaRDI QIDQ2330594
Danny Bøgsted Poulsen, Dirk Nowotka, Florin Manea, Mitja Kulczynski, Joel D. Day, Thorsten Ehlers
Publication date: 22 October 2019
Full work available at URL: https://arxiv.org/abs/1906.11718
Combinatorics on words (68R15) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (5)
String theories involving regular membership predicates: from practice to theory and back ⋮ Word equations in the context of string solving ⋮ Word equations in synergy with regular constraints ⋮ Verified verifying: SMT-LIB for strings in Isabelle ⋮ Monadic decomposition in integer linear arithmetic
This page was built for publication: On solving word equations using SAT
