RESEARCHarXiv CS.AI·1d atrás
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.
60