智能AI None DiBS:扩散通知分支选择 06518v1 Announce Type: new Abstract: Sudoku is a representative constraint satisfaction problem that requires global str and the DiBS 2026-06-08 Bo Liu, Yuan Xie, Yuan Gao, Xiaolong Luo, Peng Ye, Tao Chen, Fujun Han