DiBS: Diffusion-Informed Branch Selection

The paper introduces DiBS, a novel diffusion model-guided approach for branch selection in solving Sudoku, a constraint satisfaction problem. It enhances symbolic solvers by using a diffusion model to guide branch ordering, ensuring completeness while mitigating long-tail search issues.