DiBS: Diffusion-Informed Branch Selection

O artigo apresenta o DiBS, uma nova abordagem guiada por modelo de difusão para a seleção de ramos na resolução de Sudoku, um problema de satisfação de restrições. Ele aprimora os solucionadores simbólicos usando um modelo de difusão para guiar a ordenação dos ramos, garantindo a completude e mitigando problemas de busca de cauda longa.