2 papers
cs.AI2025
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julie Cailler +2
Nielsen transformation is a standard approach for solving word equations: by repeatedly splitting equations and applying simplification steps, equations are rewritten until a solut…
cs.LG2024
Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julie Cailler +2
This paper proposes a Graph Neural Network-guided algorithm for solving word equations, based on the well-known Nielsen transformation for splitting equations. The algorithm iterat…