TY - RPRT TI - Benchmarking Graph Neural Networks in Solving Hard Constraint Satisfaction Problems AU - Geri Skenderi AU - Lorenzo Buffoni AU - Francesco D'Amico AU - David Machado AU - Raffaele Marino AU - Matteo Negri AU - Federico Ricci-Tersenghi AU - Carlo Lucibello AU - Maria Chiara Angelini PY - 2026 UR - https://arxiv.org/abs/2602.18419 ID - 2602.18419 ER -