Quand les propositions par diffusion apprise aident-elles la résolution de contraintes ? Étude contrôlée sur des systèmes algébriques continus

Les auteurs distinguent deux décisions dans la résolution de contraintes algébriques continues : trouver des valeurs satisfaisantes et choisir une augmentation structurelle rendant un système résoluble. Sur ce second point, un ranker de réparation conditionné aux candidats surpasse nettement le hasard et l'approche exhaustive à budget égal. En revanche, sur le choix des valeurs, le modèle MARC (diffusion sur graphe neuronal, raffinement symbolique, vérification exacte) ne bat le redémarrage aléatoire multi-départ que marginalement, et uniquement en haute dimension quand les variables sont peu couplées.