Set-Based Domain Analysis for Missing Value Imputation in GIS Data: A Clustering-Driven Approach. - Hamza Khyari; Salem Benferhat (ASONAM (3), 2025)

MILP-SAT-GNN: Yet Another Neural SAT Solver. - Franco Alberto Cardillo; Hamza Khyari; Umberto Straccia (CoRR, 2025)