@misc{indiciaed357b2da8b69,
  title = {When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)},
  author = {Parosh Aziz Abdulla and Mohamed Faouzi Atig and Julie Cailler and Chencheng Liang and Philipp Rümmer},
  year = {2025},
  url = {https://arxiv.org/abs/2506.23784},
  note = {Source identifier: 2506.23784}
}