Projected Generative Diffusion Models for Constraint Satisfaction