Scassola, D.; Saccani, S.; Carbone, G.; Bortolussi, L. Zero-Shot Conditioning of Score-Based Diffusion Models by Neuro-Symbolic Constraints. AAAI 2025, 39, 20302-20309.