Mise en oeuvre de solveurs incrémentaux de contraintes par la réécriture : quelques résultats théoriques et expérimentaux

Gilles Roy

RALI, DIRO

Le 13 avril 1992 à 11 h

Salle V-114, Pavillon Principal

Pour recevoir les annonces hebdomadaires par courriel, visitez http://rali.iro.umontreal.ca/rali/?q=fr/node/1631

Liste des autres séminaires