DiBS: Diffusion-Informed Branch Selection

Der Artikel stellt DiBS vor, einen neuartigen, diffusionsmodellgesteuerten Ansatz zur Zweigauswahl beim Lösen von Sudoku, einem Problem der Nebenbedingungserfüllung. Er verbessert symbolische Löser durch die Verwendung eines Diffusionsmodells zur Steuerung der Zweiganordnung, um Vollständigkeit zu gewährleisten und Probleme bei der Langschwanzsuche zu mildern.