TY  - RPRT
TI  - When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)
AU  - Parosh Aziz Abdulla
AU  - Mohamed Faouzi Atig
AU  - Julie Cailler
AU  - Chencheng Liang
AU  - Philipp Rümmer
PY  - 2025
UR  - https://arxiv.org/abs/2506.23784
ID  - 2506.23784
ER  -