Joel D. Day, Matthew Konefal. Word Equations with Length Constraints via Weak Arithmetics and Matrix Reachability Problems. In Pierre Ganty, Alessio Mansutti, editors, Reachability Problems - 19th International Conference, RP 2025, Madrid, Spain, October 1-3, 2025, Proceedings. Volume 16230 of Lecture Notes in Computer Science, pages 51-67, Springer, 2025. [doi]
Abstract is missing.