TY  - RPRT
TI  - Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)
AU  - Parosh Aziz Abdulla
AU  - Mohamed Faouzi Atig
AU  - Julie Cailler
AU  - Chencheng Liang
AU  - Philipp Rümmer
PY  - 2024
UR  - https://arxiv.org/abs/2411.15194
ID  - 2411.15194
ER  -