DiBS: Diffusion-Informed Branch Selection

En 3 lignesDiBS combine un solveur symbolique complet avec un modèle de diffusion pour guider la sélection de branches dans la résolution de Sudoku. Sur le benchmark Royle 17-clue, l'approche réduit significativement le coût de recherche (nœuds, retours arrière, percentiles long-tail) comparée aux heuristiques classiques.

Résumé généré par Claude — vérifié par l'humain