Unité d'enseignement ENSISCU22 :
« RI2 : Fondements de programmation et de satisfiabilité »

Description

Crédits : 3
Semestre :  S3

Résumé :

Etude des problèmes de satisfaction de contraintes (CSP) et du problème de la satisfiabilité en logique propositionnelle (SAT). Nous nous intéressons en particulier aux questions portant sur la résolution de ces problèmes (méthodes et fondements théoriques) ainsi qu'aux fragments polynomiaux existant en SAT et CSP.

Apparaît dans les parcours