GPU parallelism for SAT solving heuristics. - Michele Collevati; Agostino Dovier; Andrea Formisano 001 (CILC, 2022)

Leveraging Neurosymbolic AI for Slice Discovery. - Michele Collevati; Thomas Eiter; Nelson Higuera (NeSy (1), 2024)