DiBS: Diffusion-Informed Branch Selection

El artículo introduce DiBS, un nuevo enfoque guiado por un modelo de difusión para la selección de ramas en la resolución de Sudoku, un problema de satisfacción de restricciones. Mejora los solucionadores simbólicos utilizando un modelo de difusión para guiar el orden de las ramas, asegurando la completitud y mitigando problemas de búsqueda de cola larga.