Для участия в семинаре необходимо 9 июля после 18:45 по Новосибирскому времени (17:45 по Омскому времени, 14:45 по Московскому времени) подключиться к конференции Zoom по ссылке https://us02web.zoom.us/wc/join/81220793393.
Word equations have long been a relevant problem both from a theoretical and an applied perspective. Concerning the latter, an increased effort has been made over the years in order to develop practical algorithms for (partially) solving them, since word equations arise in many applications such as software analysis, cybersecurity, or even bioinformatics. In this talk we propose new solvers which leverage recent successful general techniques from the field of artificial intelligence and, possibly, already existing heuristic-based word-equation solvers. We propose and test two algorithms: one which uses any solver as a black-box and attempts to improve its performance, and another which tackles word equations with essentially no domain-specific heuristic.