Page personnelle

Djamal Habet

Professeur – LIS UMR 7020

Thèmes :

PPC – Contraintes et SAT

Mots-clés :

• SAT
• Max-SAT
• Contraintes

Modifier vos informations