Section outline

  • Introduction: exemples de problèmes de satisfaction de contraintes et optimisation sous contraintes : problème du sac à dos / problème des n dames

    Recherche exhaustive des solutions (méthode iterative de generate and check)

    Déroulement du cours