AINeutralarXiv – CS AI · 5h ago6/10
🧠
DiBS: Diffusion-Informed Branch Selection
DiBS introduces a diffusion model-guided approach to optimize branch selection in Sudoku solving, combining symbolic solver completeness with learned global guidance. The method substantially reduces search costs on hard instances while maintaining correctness guarantees, demonstrating how neural models can enhance traditional constraint satisfaction algorithms.