v2.11.0 (5648)

Programme d'approfondissement - INF555 : Constraint-based Modeling and Algorithms for Decision-making

Domaine > Informatique.

Descriptif

The purpose of this course is to present constraint-based methods used in artificial intelligence and operations research to solve search problems in a variety of application domains. Each lecture of approximatively 2h will be followed by 2h of practical work for illustrating the taught concepts and manipulating the associated tools on decision making applications. 

The constraint-based modelling language MiniZinc with its different back-end constraint solvers (SAT, FD, LP) will be used as a unifying framework to learn how to model a problem with variables and relations, and analyze the practical complexity of different models and solvers on some useful NP-hard problems.

 

Tentative program:

  1.  

Modalités d'évaluation : 50% 6 meilleurs TPs 50% examen 

Langue du cours : documents en anglais, oral en anglais sur demande

Credits ECTS : 4

Format des notes

Numérique sur 20

Littérale/grade réduit

Pour les étudiants du diplôme Echanges PEI

Le rattrapage est autorisé (Note de rattrapage conservée)
    L'UE est acquise si note finale transposée >= C
    • Crédits ECTS acquis : 5 ECTS

    La note obtenue rentre dans le calcul de votre GPA.

    Pour les étudiants du diplôme MScT-Artificial Intelligence and Advanced Visual Computing

    Le rattrapage est autorisé (Note de rattrapage conservée)
      L'UE est acquise si note finale transposée >= C
      • Crédits ECTS acquis : 4 ECTS

      La note obtenue rentre dans le calcul de votre GPA.

      Pour les étudiants du diplôme M1 MPRI - Foudations of Computer Science

      L'UE est acquise si note finale transposée >=
      • Crédits ECTS acquis : 5 ECTS

      Pour les étudiants du diplôme Titre d’Ingénieur diplômé de l’École polytechnique

      Le rattrapage est autorisé (Note de rattrapage conservée)
        L'UE est acquise si note finale transposée >= C
        • Crédits ECTS acquis : 5 ECTS

        La note obtenue rentre dans le calcul de votre GPA.

        Veuillez patienter