M1 informatique 2017–2018



Enseignants

Cours

  1. Introduction [slides]
  2. Modélisation LP [slides]
  3. L’algorithme du simplexe
  4. L’algorithme du simplexe et dualité [slides]
  5. SAT
  6. SAT

TD

  1. Modélisation graphes, LP, SAT [feuille]
  2. Modélisation LP [feuille]
  3. LP sur machine [feuille]
  4. L’algorithme du simplexe [feuille]
  5. SAT sur machine
  6. SAT

Exemples

Bibliographie

Outils