When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)

Open in new window