IFT 615 – Intelligence Artificielle Satisfaction de contraintes Froduald Kabanza Département dinformatique Université de Sherbrooke planiart.usherbrooke.ca/kabanza.