Algorithme AC-3

Dans la satisfaction de contraintes, l’algorithme AC-3 (abréviation d'Arc Consistency Algorithm 3) fait partie d'une série d'algorithmes utilisés pour la résolution de problèmes de satisfaction de contraintes (ou CSP). Il a été développé par Alan Mackworth (en…