Intelligence artificielle : logique et contraintes

RESUME COURS :
Ce cours présente un cadre générique de modélisation et de résolution de problèmes permettant de traiter une large étendue de problèmes concrets. Il se concentre sur les problèmes de satisfaction de contraintes