Speeding up Answer Set Programming by Quantum Computing. - Riccardo Romanello; Davide Della Giustina; Stefano Pessotto; Carla Piazza (QUASAR@HPDC, 2024)