DiBS: Diffusion-Informed Branch Selection

Bo Liu, Yuan Xie, Yuan Gao +4

Sudoku is a representative constraint satisfaction problem that requires global structural reasoning under strict discrete constraints. The existing works of solving Sudoku mainly…