programmation par contraintes et pro- grammation mathé- matique
Algorithme pour garantir la cohérence. 1 function AC3 (csp) {. 2. Queue Q contenant tous les arcs du csp. 3 while (Q= ?) {. 4. (Xi,Xj) ? pop(Q). 5 if (Revise( ...
Algorithme pour garantir la cohérence. 1 function AC3 (csp) {. 2. Queue Q contenant tous les arcs du csp. 3 while (Q= ?) {. 4. (Xi,Xj) ? pop(Q). 5 if (Revise( ...